Dept. of Computer Science University of Virginia Charlottesville, VA 22903, USA;
机译:ROSMOD:使用ROS进行建模,生成,部署和管理基于分布式实时组件的软件的工具套件
机译:基于组件的实时系统开发设计阶段选择模型以评估软件可靠性的方法
机译:使用基于组件的软件合成和约束解决以生成制造模拟模型集
机译:基于组件的软件模型实现合成的实时调度技术
机译:基于组件的实时嵌入式系统的基于模型的测试技术
机译:用软件工程技术对数学模型的再现性问题:使用房地产节点一维数学模型的案例研究
机译:用于基于组件的软件模型中的实现综合的实时调度技术