Department of Mechanical EngineeringrnMassachusetts Institute of TechnologyrnCambridge, MA;
Department of Mechanical Engineering andrnEngineering Systems DivisionrnMassachusetts Institute of TechnologyrnCambridge, MA;
The Design Lab University of SydneyrnSydney, Australia Sydney, NSW, Australia;
Yahoo! Inc. Sunnyvale, CA;
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:数据库语言设计和约束处理的形式方法
机译:在正式语言理论框架下分析动物歌的困难:与基于度量的模型评估比较
机译:在工程设计中评估偏好语言的形式方法比较
机译:基于评估理论和工程设计原理的轻量软件过程评估方法评估方法
机译:在正式语言理论框架下分析动物歌曲的困难:与基于度量的模型评估的比较
机译:工程设计中偏好语言评价形式化方法的比较