维克托·布拉伯曼（编辑）；劳伦·弗里堡（编辑） 定时系统的形式化建模和分析。2013年8月29日至31日，阿根廷布宜诺斯艾利斯，第11届国际会议，FORMATS 2013。诉讼程序。 （英语） Zbl 1269.68019号 计算机科学课堂讲稿8053.柏林：施普林格出版社（ISBN 978-3-642-40228-9/pbk）。x、 275页。(2013). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1251.68022号].索引文章：埃蒂安·安德烈；朱塞佩·佩莱格里诺；劳蕾·佩特鲁奇，具有抑制剂ARCS的时间Petri网的精确鲁棒性分析，1-15[Zbl 1390.68455号]细辛，尤金；尼古拉·巴塞特（Nicolas Basset）；奥尔德里克·德戈尔，时间自动机中的谱间隙，16-30[Zbl 1390.68372号]Patricia Bouyer；尼古拉斯·马基（Nicolas Markey）；奥坎·桑库尔，鲁棒加权时间自动机和游戏，31-46[Zbl 1390.68375号]托马斯·布里海耶（Thomas Brihaye）；埃斯蒂文纳特，摩根；吉勒·杰勒茨，关于MITL和交替时间自动机，47-61[Zbl 1390.68376号]Frank Cassez；阿尔班·格雷斯廷，定时系统中事件发生的可预测性，62-76[Zbl 1390.68383号]Bernadette Charron-Bost；福格尔，马提亚斯；托马斯·诺瓦克，分布式算法的瞬态界限，77-90[Zbl 1392.68289号]托马斯·查坦（Thomas Chatain）；克洛德·贾德，回溯时间Petri网，91-105[Zbl 1390.68463号]曼努埃尔·加纳乔；Jean-Paul Bodeveix；马蒙·菲拉利·阿明，实时系统的机械化语义框架，106-120[Zbl 1390.68470号]大卫·詹森（David N.Jansen）。，对于连续时间MDP，或多或少是正确的DCTL，137-151[Zbl 1390.68431号]威利博尔德·克伦；尼科维奇，德扬；Tec，Loredana公司，时间自动机网络的增量语言包含检查，152-167[Zbl 1390.68432号]李国强；蔡晓娟；小川（Mizuhito Ogawa）；袁，Shoji，嵌套时间自动机，168-182[Zbl 1390.68407号]Matsikoudis，Eleftherios；爱德华·A·李。，关于严格因果函数的不动点，183-197[Zbl 1318.68114号]马尔科·穆尼兹；伯恩德韦斯特法尔；安德烈亚斯·波德尔斯基，在时间自动机中检测准相等时钟，198-212[Zbl 1390.68437号]克里斯托斯·斯特吉奥；特里帕基斯（Tripakis）、斯塔夫罗斯（Stavros）；Matsikoudis，Eleftherios；爱德华·A·李。，关于时间离散事件模型的验证，213-227[Zbl 1318.68117号]Pranav Tendulkar；彼得·波普拉夫科；奥德·马勒，多核上多标准映射和调度的对称破缺，228-242[Zbl 1390.68154号]马克·蒂默（Mark Timmer）；范德波尔（Jaco van de Pol）；玛丽·艾尔·斯托琳加。，马尔可夫自动机的汇流约简，243-257[Zbl 1390.68419号]多米尼克·沃伊特扎克，线性速率多模系统的最优控制，258-273[Zbl 1390.68158号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的论文集、会议、文集等 68季度xx 计算理论 00B25型 杂项特定利益的会议记录 引文：Zbl 1251.68022号 PDF格式BibTeX公司 XML格式引用 \textit{V.Braberman}（编辑）和textit{L.Fribourg}（主编），时间系统的形式化建模和分析。第11届国际会议，FORMATS 2013，阿根廷布宜诺斯艾利斯，2013年8月29日至31日。诉讼程序。柏林：施普林格出版社（2013；Zbl 1269.68019） 全文： 内政部