School of Information and Communication Technology KTH Royal Institute of Technology Stockholm Sweden;
Atomic layer deposition; Semantics; Analytical models; Cyber-physical systems; Synchronization; Computational modeling; Skeleton;
机译:安全建模和正式验证生存性的特性:网络物理系统的应用
机译:网络物理制造系统的正式建模和控制:
机译:通过使用形式验证对恶意代理交互进行建模来揭示和解决网络物理系统中安全漏洞的方法
机译:用于建模网络系统系统的层面正式框架
机译:电子物理系统领域特定建模语言的形式语义规范。
机译:网络物理系统中控制模块的正式验证
机译:网络物理系统建模的分层正式框架