Formal methods; Human-Computer-Physical System; Abstraction; Architecture modelling; Conceptual integrity; System evolution;
机译:(嵌入式)软件密集型系统的模型驱动的以架构为中心的工程:建模理论和架构里程碑
机译:使用Industrie 4.0参考架构进行人的网络 - 物理系统方法来精简自动化
机译:用于发现分布式软件系统运行时软件架构模型的分散方法
机译:网络物理系统中的动态逆模型
机译:片上网络:建模,系统级抽象和特定于应用程序的体系结构定制。
机译:评估数据抽象助手一种用于系统审查期间数据抽象的新型软件应用程序:随机对照试验的方案
机译:使用Industrie 4.0参考架构进行人的网络 - 物理系统方法来精简自动化