|  |
| |
| Artikel-Nr.:
858A-9783319657646 Herst.-Nr.:
9783319657646 EAN/GTIN:
9783319657646 |
| |
|
| | |
| 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. Weitere Informationen: | | Author: | Alessandro Abate; Gilles Geeraerts | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Automatentheorie, Algorithm analysis and problem complexity; Semantics; Software Engineering; Specifications; comnputer software selection; model checking; timed automata, software engineering, semantics, model checking, specifications, timed automata, comnputer software selection, algorithm analysis and problem complexity |
| | |
| |