机译:具有BIP组件框架的物联网系统基于模型的设计
Aristotle Univ Thessaloniki, Sch Informat, Thessaloniki 54124, Greece;
Aristotle Univ Thessaloniki, Sch Informat, Thessaloniki 54124, Greece;
Aristotle Univ Thessaloniki, Sch Informat, Thessaloniki 54124, Greece;
Univ Grenoble Alpes, CNRS, VERIMAG, F-38000 Grenoble, France;
Univ Macedonia, Dept Appl Informat, Thessaloniki 54006, Greece;
Internet of things; model-based design; service-oriented architecture;
机译:使用BIP框架进行严格的基于组件的系统设计
机译:使用BIP框架进行严格的基于组件的系统设计
机译:BIP框架中基于组件的系统的运行时验证,具有经过正式验证的健全且完整的工具
机译:设计和调试基于组件的安全自主系统的基于模型的框架
机译:特定于应用程序的异构系统的基于模型的设计框架
机译:基于心理模型的重复多方面(MRM)干预设计:改善预防性健康行为和结果的概念框架
机译:使用BIP框架进行基于组件的严格系统设计