SOFTWARE ENGINEERING; PROGRAM VERIFICATION (COMPUTERS); COMPUTER PROGRAMS; HANDBOOKS; FORMALISM; COMPUTERS; COMPUTER PROGRAMMING; COMPUTER SYSTEMS PROGRAMS; SOFTWARE RELIABILITY;
机译:用于设计和验证CNC系统的可靠软件的正式规范框架
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:致力于自动生成形式规范以验证和验证可靠的分布式系统:以工业案例研究为例的方法
机译:用于设计和验证计算机化数字控制(CNC)系统的可靠和可靠软件的正式规范和验证框架
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:一种人机交互系统的形式化验证方法
机译:用于设计和验证计算机数控(CNC)系统的可靠可靠软件的正式规范和验证框架
机译:正式方法规范和分析软件和计算机系统验证指南第二卷:从业者的同伴