Sch. of Comput., Queen's Univ., Kingston, ON, Canada;
Sch. of Comput., Queen's Univ., Kingston, ON, Canada;
Electr. Comput. Eng. Dept, R. Mil. Coll., Kingston, ON, Canada;
Unified modeling language; Object oriented modeling; Real-time systems; Tools; Embedded systems; Generators; Conferences;
机译:通过转换UML-RT设计模型对实时系统进行正式规范的方法学方法
机译:嵌入式异构系统基于对象建模的从系统设计到代码生成的整体系统设计方法
机译:基于建模和代码生成的嵌入式控制系统解决方案
机译:具有UML-RT和纸莎草-TT的实时嵌入式系统的建模与代码生成
机译:用于实时嵌入式系统的基于模型的代码签名。
机译:基于微RNA和蛋白质编码基因的差异表达的实时PCR测定法用于福尔马林固定石蜡包埋的髓母细胞瘤的分子分类
机译:采用UmL-RT的嵌入式实时系统的一致性设计