|  |
| |
| Artikel-Nr.:
5667A-9783031737503 Herst.-Nr.:
9783031737503 EAN/GTIN:
9783031737503 |
| |
|
| | |
| Essays Dedicated to Wang Yi to Celebrate His Scientific Career Weitere Informationen: | | Author: | Susanne Graf; Paul Pettersson; Bernhard Steffen | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Embedded Systems; Timed CCS; UPPAAL; cyber-physical systems; formal methods; model checking; multicore systems; real-time systems; temporal logic; timed automata, Formal Methods, Real-Time Systems, Model Checking, Multicore Systems, Embedded Systems, Temporal Logic, Cyber-physical Systems, Timed CCS, Timed Automata, UPPAAL |
| | |
| |