| 书目名称 | Formal Modeling and Analysis of Timed Systems |
| 副标题 | 15th International C |
| 编辑 | Alessandro Abate,Gilles Geeraerts |
| 视频video | |
| 概述 | Includes supplementary material: |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. .The aim of FORMATS is to promote the study of fundamental andpractical aspects of timed systems, and to bring together researchersfrom different disciplines that share interests in modelling andanalysis of timed systems and, as a generalization, hybrid systems.. |
| 出版日期 | Conference proceedings 2017 |
| 关键词 | software engineering; semantics; model checking; specifications; timed automata; comnputer software selec |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-65765-3 |
| isbn_softcover | 978-3-319-65764-6 |
| isbn_ebook | 978-3-319-65765-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer International Publishing AG 2017 |
发表于 2025-3-21 19:58:55
