Georgia Institute of Technology;
机译:自保护系统的设计与实现:一种正式的方法
机译:复杂动力系统控制设计的形式化方法
机译:复杂动力系统控制设计的形式化方法
机译:反应系统设计的一种正式方法:无人机飞行管理系统设计实例
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:系统生物学将提供其承诺并有助于开发新的或改进的疫苗?:真正构成了对系统生物学的研究以及这种方法如何促进疫苗设计的研究
机译:响应式系统设计的一种形式化方法:无人机飞行管理系统设计实例