机译:关于处理正式系统开发(IMPEX)和正式和模型驱动技术的诉讼联合讲习班,以及开发值得信赖的系统(FM&MDD)
机译:第22届工业关键系统形式方法国际研讨会和第17届关键系统自动验证国际研讨会
机译:第22届工业关键系统和第17届国际讲习班关于关键系统自动验证的第17次国际研讨会的第22次国际讲习班
机译:在正式系统开发中获得明确的领域知识
机译:2015年基于服务的系统的正式建模和验证研讨会简介(FOR-MOVES)
机译:用于开发可信赖系统的基于组件的正式软件工程方法。
机译:非符号数字脑系统的发展及其与正式数学学习成绩的关系
机译:1994年蒙特利研讨会的论文集,增加了计算机辅助软件开发的正式方法的实际影响:大型软件系统的演化控制,用于集成软件开发环境的技术