机译:用于嵌入式系统的UML / MARTE建模和设计空间探索的COMPLEX方法
机译:使用UML / MARTE支持实时系统中的性能调整和压力测试
机译:建立基于MARTE的实时嵌入式系统方法中的可追溯性模型
机译:使用UML / MARTE的环境建模,以支持真正嵌入式系统的黑盒系统测试:方法和工业案例研究
机译:使用遗传算法的基于UML模型的分布式实时系统的流量感知压力测试。
机译:IV。临床咨询系统医学决策支持系统和临床研究数据库:A.医学决策支持和人工智能方法:INFERNET-基于计算机的医学知识和临床推理建模系统
机译:使用UML / MARTE的环境建模,以支持真正嵌入式系统的黑盒系统测试:方法和工业案例研究