塞巴斯蒂安·范·维利杰曼;范·韦弗伦,阿尔扬;史蒂文·克卢塞纳;威尔科·科恩;大江良;罗兰·波尔;范德杜恩·肖滕(Frank van der Duyn Schouten);沃斯·德瓦尔(Vos de Wael)、斯特凡(Stefan) 其他四例的上皮瘤。 (英语) Zbl 0920.68073号 Van Vlijmen,Sebastiaan(编辑),ENTCS。研究项目。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。21,第8号电子文件,(1999年)。 摘要:本文件以简洁的方式报告了其他四起案件。对所研究的每个案例都进行了描述,讨论了所做的形式规范工作,并对案例进行了评估。第一个案例描述了印刷电路板生产设施模型的PSF建模。第二个案例是关于遵循服务独立构建块体系结构的电话服务建模。使用的语言还是PSF。第三个案例是关于铁路安全系统编程语言的语法。这里使用了语言定义系统ASF+SDF。第四个也是最后一个案例是关于一个优化交通管制系统中灯泡更换时间表的系统。ACP、PSF和Pascal是使用的语言。关于整个系列,请参见[Zbl 0920.00018号]. MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:规范 PDF格式BibTeX公司 XML格式引用 \textit{S.van Vlijmen}等人,in:ENTCS。研究项目。阿姆斯特丹:爱思唯尔。电子文件编号8(1999;Zbl 0920.68073) 全文: 链接