机译:自我稳定程序的正式设计
Universiteit Utrecht, Imtituut Informatica, Postbus 80.089, 3508 TB Utrecht, Nederland;
机译:定语元语法在替代设计的形式结构语言描述和可扩展电信网络的布局编程中的特殊情况第2部分。定语语法的形式属性
机译:正式的指导计划:计划设计和支持与指导者对收益和成本的看法之间的关系
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:自稳定程序的结构化设计
机译:正式的指导计划:程序设计与指导者对收益和成本的看法之间的关系
机译:正式运动计划对帕金森氏病的影响:使用延迟开始设计的初步研究
机译:面向自稳定分布式算法的形式化设计
机译:面向自稳定分布式算法的形式化设计