垂直

此软件的关键字
zbMATH参考文献(参考
4篇文章
参考)
Bouabana Tebibel,Thouraya;Rubin,Stuart H.:使用Petri网的UML 2交互的交错语义(2013) 陈景舒;库尔卡尼,山德普:MR4UM:一个为UML状态图添加容错的框架(2013) 林朝生;吕春贤;林尚伟;陈妍茹;熊宝安:VERTAF/multi-core:基于SysML的多核嵌入式软件开发应用框架(2011) ioport公司 Hung,Pao Ann;Lin,Shang Wei;Tseng,Chih Hao;Lee,Trong Yen;Fu,Jih Ming;See,Win Bin:嵌入式实时软件设计与验证的应用框架(2004) ioport公司