building management systems; cyber-physical systems; history; Internet of Things; ubiquitous computing;
机译:MegaM @ Rt2 ECSEL项目:运行时的MegaModelling-可扩展的基于模型的框架,用于复杂系统的连续开发和运行时验证
机译:MegaM @ Rt2 ECSEL项目:运行时的MegaModelling-可扩展的基于模型的框架,用于复杂系统的连续开发和运行时验证
机译:基于统一语义模型的反应系统形式化开发方法
机译:基于运行时语义模型的弹性反应系统
机译:基于架构和基于代理的行为建模系统弹性系统的方法
机译:基于人类视觉系统的语义水平分类的经常性时间模型
机译:分布式反应系统的基于模型的运行时分析。