此页面包含使用nummv的项目列表。

  • 当前
    • 城堡使用自适应MIL保护关键基础设施
    • D-密耳分布式MILS分析
    • 保险箱具有可重用组件的软件密集型系统的安全认证
    • FAME——FDIR开发和验证验证过程
    • HASDEL——发射器的软硬件可靠性
    • 关键飞行软件的AUTOGEF可靠性设计方法
    • IRONCAP创新漫游者操作概念——自主规划
    • 指南针航空航天系统的正确性、建模与性能
  • 过去的
    • 永远软件参考体系结构的功能需求和验证技术
    • 小姐更具综合性和成本效益的系统安全评估
    • 维洛斯逻辑分析验证
    • 椰子一个用于嵌入式系统设计和验证的正确构建工作台
    • OMC-ARE公司车载模型检查自动解析引擎
    • 欧洲铁路支票ETCS形式化和验证的ERA项目
    • 3毫秒移动系统软件和服务的安全性
    • 普洛西德基于属性的系统设计