...
机译:利用形式化技术设计和优化多时钟嵌入式系统
Asynchronous communication; Automata; Clocks; Control systems; Embedded systems; Standards; Synchronization; Control-oriented behavior; data-oriented behavior; multiclock; synchronous dataflow; timed automata; train-control embedded system;
机译:通过正式技术支持基于UML的嵌入式系统开发
机译:系统设计的元数学将形式方法技术全面转移到网络物理系统
机译:使用正式RDF技术验证系统设计框架-CCC设计框架
机译:多锁SoC系统的正式建模
机译:用于设计空间探索和分布式实时嵌入式系统优化的高效技术。
机译:医疗保健中的计算机应用。医院中的计算机系统。基于医院的专业护理系统:多相放射治疗设计的数学优化技术
机译:嵌入式系统基于组件设计的形式技术
机译:形式优化技术在高超声速飞行器热管冷却板热/结构设计中的应用