| 書目名稱 | Formal Modeling and Analysis of Timed Systems |
| 副標(biāo)題 | 15th International C |
| 編輯 | Alessandro Abate,Gilles Geeraerts |
| 視頻video | http://file.papertrans.cn/346/345868/345868.mp4 |
| 概述 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 01:38
發(fā)表于 2025-3-21 19:58:55
