提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/ictac/YatakeA12AU-Yatake、KenroAU-青木、东崎TI-基于环境建模的OSEK/VDX操作系统设计模型的模型检查。2012年9月24日至27日，印度班加罗尔，第九届国际学术讨论会，BT——计算的理论方面。诉讼程序第183页EP-1972012年上半年//DO-2007年10月10日/978-3642-32943-2_15UR-（欧元）https://doi.org/10.1007/978-3642-32943-2_15急诊室-