...
机译:交通灯系统建模的模型检查器输入语言分析
Faculty of Computer Science and Information Technology, University Putra Malaysia, 43400 Serdang, Selangor, Malaysia;
Facuity of Technology and Information Science, University Kebangsaan Malaysia 43600 Bangi, Selangor, Malaysia;
Facuity of Technology and Information Science, University Kebangsaan Malaysia 43600 Bangi, Selangor, Malaysia;
model checking; distributed control system; user interface; linear temporal logic (LTL); computational tree logic (CTL); distributed control system (DCS); probabilistic; computation tree logic (PCTL); state transition diagram (STD);
机译:交通信号灯系统建模的模型检查器输入语言分析科学出版物
机译:模型检查器-系统设计的工具和语言-调查
机译:城市交通灯控制系统的建模与分析
机译:将Simulink模型转换为模型检查器的输入语言的工具
机译:Java建模语言的运行时断言检查器。
机译:在酵母中建模和构建的可切换光输入光输出系统
机译:交通灯系统建模模型检验员输入语言分析
机译:基于模型的系统工程方法在系统分析中使用体系结构:使用系统建模语言产品开发模拟模型以链接体系结构和分析。