马可·贝尔纳多（编辑）；弗拉维奥·科拉迪尼（编辑） 实时系统设计的形式化方法。计算机、通信和软件系统正式设计方法国际学校，SFM-RT 2004，意大利贝蒂诺罗，2004年9月13日至18日。修订的讲座。 （英语） Zbl 1088.68002号 计算机科学课堂讲稿3185.柏林：施普林格出版社（ISBN 3-540-23068-8/pbk）。vii，295页。(2004). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：拉杰夫·阿鲁尔；马杜苏丹，P。，时间自动机的决策问题：一项调查，1-24[Zbl 1105.68057号]Elmar Bihler；沃尔特·福格勒，《时间Petri网：异步系统的效率》，25-58[Zbl 1105.68080号]Baeten，J.C.M。；Reniers，医学硕士。，时间进程代数（关注显式终止和相对时间），59-97[Zbl 1105.68079号]Cacciagrano，Diletta R。；弗拉维奥·科拉迪尼，时间事件和时间语言的表达，98-131[Zbl 1105.68082号]马里奥·布雷韦蒂，实时和随机时间，132-180[Zbl 1105.68081号]Bran V.塞利克。，基于标准UML 2.0的语义基础，181-199[Zbl 1105.68349号]Gerd Behrmann；亚历山大·戴维；Larsen，Kim G。，UPPAAL教程，200-236[Zbl 1105.68350号]马吕斯·博兹加；苏珊娜·格拉芙；伊利亚娜·奥贝尔；尤利安·奥贝尔；约瑟夫·西法基斯，IF工具集，237-267[Zbl 1105.68352号]Joost-Pieter Katoen；亨利克·博恩坎普（Henrik Bohnenkamp）；Ric Klaren；霍尔格·赫尔曼斯，使用MOTOR进行嵌入式软件分析，268-293[兹比尔1105.68335] MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 00B25型 杂项特定利益的会议记录 软件：Uppaal公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}（编辑）和textit{F.Corradini}（编），实时系统设计的形式化方法。计算机、通信和软件系统正式设计方法国际学校，SFM-RT 2004，意大利贝蒂诺罗，2004年9月13-18日。修订的讲座。柏林：施普林格出版社（2004；Zbl 1088.68002） 全文： 内政部