...
机译:安全关键型嵌入式系统的双模型方法
Univ Zielona Gora Inst Elect Engn Ul Podgorna 50 PL-65246 Zielona Gora Poland;
Polish Acad Sci CBK PAN Space Res Ctr Space Robot Dynam Lab Ul Nowy Kisielin A Syrkiewicza 6 PL-66002 Zielona Gora Poland;
Univ Valencia GPDS Dept Elect Engn ETSE Sch Engn E-46100 Valencia Spain;
Control unit; Embedded systems; Safety-critical systems; Dual modular redundancy (DMR); High-level modeling; Petri nets; UML State machines; FPGA;
机译:安全关键嵌入式控制系统中的集成调度方法
机译:网络控制系统设计的双模跳跃模糊系统方法
机译:安全关键嵌入式系统背景下的转义分析的设计与实现
机译:欢迎创新:基于敏捷的安全关键嵌入式系统基于模型的开发方法
机译:将运行时验证后部署嵌入到安全关键系统的实时健康管理中
机译:使用openEHR双模型方法对医疗保健授权和索赔提交进行建模
机译:生产安全关键嵌入式系统的产品线的果脯方法及其在无人机域域的应用