B method; Safety platform; Automated proof;
机译:正式方法的软件工程:风暴潮屏障控制系统的开发,重新审视了正式方法的七个神话
机译:集成面向对象方法和形式化方法进行需求工程
机译:集成面向对象方法和需求工程的形式方法
机译:交互系统的形式方法:人机交互,形式方法和软件工程之间的研究领域
机译:使用形式化方法的实时工程系统的安全性和可靠性。
机译:回复Bourgeois等人对控制武器在Gardasil疫苗试验中收到的控制武器的制定的重要方法
机译:软件工程和形式方法期刊的形式方面专刊(SEFM'14)