×

兹马思-数学第一资源

关于乌帕的教程。(英语) Zbl公司 1105.68350
Bernardo,Marco(ed.)等人,《实时系统设计的形式化方法》。国际计算机、通信和软件系统设计正规方法学院,SFM-RT 2004,意大利贝蒂诺罗,2004年9月13-18日。修改讲座。柏林:斯普林格出版社(ISBN 3-540-23068-8/pbk)。计算机科学讲义3185200-236(2004)。
摘要:这是一篇关于UPPAAL工具的教程论文。它的目标是简要介绍在工具中实现的时间自动机的风格,介绍它的接口,并解释如何使用该工具。本文的贡献在于提供参考实例和建模模式。
整个系列请参见[Zbl 1088.68002].

理学硕士:
68Q60型 规范和验证(程序逻辑、模型检查等)
68Q45号 形式语言与自动机
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
软件:
乌帕阿尔
PDF格式 BibTeX公司 XML 引用
全文: 内政部