Software Improvement Group, The Netherlands;
rnUniversidade do Minho, Portugal;
机译:迈向验证分布式系统中活动特性的集成形式方法:应用于人口协议
机译:安全建模和正式验证生存性的特性:网络物理系统的应用
机译:通过使用形式验证对恶意代理交互进行建模来揭示和解决网络物理系统中安全漏洞的方法
机译:一个集成的正式方法工具链及其在验证文件系统模型的应用程序
机译:嵌入式控制系统设计和验证的正式方法:应用于自动驾驶汽车。
机译:一种人机交互系统的形式化验证方法
机译:集成的形式化方法工具链及其在验证文件系统模型中的应用