马泰·约瑟夫（编辑） 实时和容错系统中的形式化技术。第六届国际研讨会，2000年FTRTFT，2000年9月20日至22日，印度浦那。诉讼程序。 （英语） Zbl 0947.00042号 计算机科学课堂讲稿. 1926. 柏林：斯普林格。x、 第303页（2000年）。 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。回顾了1994年第三次研讨会（见Zbl 0803.0029号).索引文章：Halbwachs，N。；Héry，J.-F。；拉勒夫，J.-C。；尼克林，X。，离散采样系统的稳定性，1-11[Zbl 0986.93505号]摩西，约拉姆，细化分布式程序的问题，12-17[Zbl 0986.68669号]达姆，沃纳，电子控制单元验证中的挑战，18[Zbl 0986.68594号]Jensen，Henrik Ejersbo；Larsen，Kim Guldstrand；阿恩·斯科，扩大规模。使用组合和抽象对实时系统进行自动验证，19-30[兹伯利0986.68519]杰里米·斯普洛斯顿，概率混合自动机的可判定模型检查，31-45[兹比尔0986.68058]拉诺，K。；大卫·克拉克；Androutsopoulos，K。；Kan和P。，基于不变量的容错系统综合，46-57[Zbl 0986.68667号]马克斯·布莱特林，分布式无功系统的故障建模，58-69[Zbl 0986.68701号]保罗·卡斯皮；莱姆·塞勒姆，临界控制系统中的阈值和有界延迟投票，70-81[Zbl 0986.68501号]Kulkarni，Sandeep S。；阿诺拉，阿尼什，自动添加容错，82-93[Zbl 0986.68584号]汉森，Hans；克里斯特·诺斯特罗姆；沙西库马尔·蓬内卡特，时间关键型分布式系统的可靠性建模，94-105[Zbl 0986.68731号]Altisen，K。；哥勒，G。；J.西法基斯。，计划系统构建方法，106-120[Zbl 0986.90501号]Subramani，K。；阿肖克·阿格拉瓦拉，参数调度中“标准约束”的双重解释，121-133[Zbl 0986.68005号]塔多雷特，斯特芬；Nadjm-Tehrani，Simin；阿尔伯特·本文尼斯特（Albert Benveniste）；斯特伦贝格，Jan-Erik，混合系统的协同模拟：信号模拟，134-151[Zbl 0986.93502号]巴塔查吉，A.K。；Sen，戈帕；Dhodapkar，S.D.博士。；Karunakar，K。；巴桑特·拉詹；Shyamasundar，R.K。，目标代码验证系统，152-169[Zbl 0986.68552号]伊恩·海耶斯，使用辅助变量进行实时程序优化，170-184[Zbl 0986.68728号]范德梅登，罗恩；摩西，约拉姆，关于细化和时间注释，185-201[Zbl 0986.68053号]回来了，拉尔夫·约翰；路易吉亚·皮特；伊凡·波雷斯，将行动系统推广到混合系统，202-213[Zbl 0986.68648号]莱泽克·霍伦德斯基，同步网络的组成验证，214-227[Zbl 0986.68516号]西蒙·维卢迪斯；尼桑，尼马尔，建模定时CSP中的协调原子行为，228-239[Zbl 0986.68500号]迪帕克·D’Souza，事件记录自动机的逻辑特征，240-251[Zbl 0986.68046号]阿德拉伊德，米夏埃尔；奥利维尔·鲁克斯，使用柱代数分解分析斜率参数混合自动机，252-263[Zbl 0986.68050号]Dimitar P.Guelev。，概率邻域逻辑，264-275[Zbl 0986.03025号]马克·盖伦（Marc Geilen）；亲爱的，丹尼斯，实时时序逻辑的实时画面构造，276-290[Zbl 0986.03024号]鲍库斯，凯；亚辛，拉赫内赫；卡斯滕·斯塔尔，验证参数化网络的通用属性，291-303[Zbl 0986.68062号] 引用于1审查 MSC公司： 00时25分 杂项特定利益的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 93-06 与系统和控制理论有关的会议记录、会议记录、收藏品等 关键词：普纳（印度）;诉讼;研讨会;FTRTFT 2000年;实时系统;容错系统 引文：Zbl 0803.0029号 软件：Uppaal公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Joseph}（编辑），实时和容错系统中的形式化技术。第六届国际研讨会，2000年FTRTFT，2000年9月20日至22日，印度浦那。诉讼程序。柏林：施普林格出版社（2000；Zbl 0947.00042） 全文： DOI程序