机译:使用Monterey Phoenix形式化和验证随机系统架构
Nanyang Technol Univ, Singapore 639798, Singapore;
Natl Univ Singapore, Singapore 117548, Singapore;
Nanyang Technol Univ, Singapore 639798, Singapore;
Naval Postgrad Sch, Monterey, CA USA;
Singapore Univ Technol & Design, Singapore, Singapore;
Natl Univ Singapore, Singapore 117548, Singapore;
Zhejiang Univ Technol, Hangzhou, Zhejiang, Peoples R China;
Model checking; Stochastic system architecture; Monterey Phoenix;
机译:使用Monterey Phoenix建模和验证业务流程
机译:验证可靠网络物理系统的验证应用中连续傅里叶变换的形式化
机译:基于功能架构模式的系统工程知识形式化的拟议元模型
机译:使用蒙特里·菲尼克斯(SoSyM摘要)形式化和验证随机系统架构
机译:随机混合系统的可扩展安全验证
机译:分类模式的形式化:信息系统工程中的分类建模调查
机译:使用Monterey Phoenix形式化和验证随机系统架构