Department of Aerospace Engineering, Iowa State University, 537 Bissell Road, Ames, IA, USA;
Computational modeling; Runtime; Analytical models; Engines; Stochastic processes; Hardware; Software;
机译:嵌入式控制系统的基于仿真的验证方法:传统和高级建模,测试和验证技术的概述
机译:基于重写的运行时验证技术
机译:结合静态和运行时验证来验证面向数据和控件的属性:理论和工具
机译:从模拟到运行时验证和返回:连接一次运行验证技术
机译:软件验证技术在硬件设计验证中的应用。
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:在ESB运行时验证的背景下研究不同的检测技术