机译:SCJ-Circus:安全关键Java程序的规范和完善
机译:SCJ-Circus:安全关键Java程序的规范和完善
机译:半正式和正式符号自动评估
机译:CleanJava:功能程序验证的正式表示法
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:数字符号的作用:符号值符号的数字处理比位置值容易
机译:sCJ-Circus:针对safety-Critical Java的精致导向的正式表示法
机译:从正式规范自动合成安全关键应用的工业强度工具和技术。