Unified modeling language; Timing; Real-time systems; Middleware; Concrete; Standards;
机译:嵌入式系统的形式验证和确认:基于UML的MADES方法
机译:动态部分可重配置系统的基于模型的验证和估计框架
机译:分布式可重新配置B方法,用于基于B的分布式可重新配置控制系统的规范和验证:
机译:基于UML的可重新配置中间件,用于基于模型的方法的设计级定时验证
机译:基于UML的度量方法,用于使用软件项目设计估算总工作量。
机译:内源性大麻素介导穗期依赖的增强和抑制:基于模型的实验方法
机译:基于UmL的开发已验证嵌入式软件的方法
机译:使用设计级假设确认源代码的保证