| 书目名称 | Quantitative Evaluation of Systems |
| 副标题 | 12th International C |
| 编辑 | Javier Campos,Boudewijn R. Haverkort |
| 视频video | |
| 概述 | Includes supplementary material: |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing systems and hybrid systems. The book also contains one full-paper invited talk. |
| 出版日期 | Conference proceedings 2015 |
| 关键词 | Automata theory; Big data; Domain specific languages; Formal languages; Formal methods; Hardware validati |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-22264-6 |
| isbn_softcover | 978-3-319-22263-9 |
| isbn_ebook | 978-3-319-22264-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer International Publishing Switzerland 2015 |
发表于 2025-3-21 16:16:00
