University of Windsor (Canada).;
机译:SNL2Z:用于将非正式结构化软件规范转换为正式规范的工具科学出版物
机译:条件承诺的正式规范和自动验证
机译:基于正式规范的嵌入式网络系统自动测试生成
机译:在正式数据规范中添加语义,以自动生成相应的语音数据输入应用程序
机译:CAD应用程序数据库系统的数据模型和语言的设计和正式规范。
机译:使用多中心数据的胶质瘤分级自动直方图规范
机译:空中交通中使用的语音通信系统的正式规范控制了使用VDM的轻质正式方法的工业应用