Dept. of Electr. Comput. Eng., Univ. of Buraimi, Buraimi, Oman;
CCSL; MARTE; SysML; SystemVerilog; assertions; embedded systems; modeling;
机译:pCSSL:对MARTE / CCSL的随机扩展,用于对网络物理系统中的不确定性进行建模
机译:用MARTE和SYSML实现系统架构描述的建模方法
机译:使用UML,SysML和MARTE的实时系统的基于模型的需求规范
机译:将SYSML和MARTE / CCSL组合到模型复杂电子系统
机译:飞秒多维电子和拉曼光谱研究锰配合物和析氧复合物:发展对飞秒光产生的理解,并将飞秒多维电子和拉曼光谱学应用于模型系统。
机译:使用SysML的移动机械手性能测量模型
机译:在基于模型的SoC设计中结合SystemC,IP-XACT和UML / MARTE
机译:组合硬件软件可靠性模型研究。第1卷。概述和摘要。第2卷。通过内置测试和硬件 - 软件交互来近似复杂系统的可用性。第3卷。可用性