|  |
 |
| Artikel-Nr.: 858A-9783031742330 Herst.-Nr.: 9783031742330 EAN/GTIN: 9783031742330 |
| |
|
|  |  |
 | 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings Weitere Informationen:  |  | Author: | Erika Ábrahám; Houssam Abbas | Verlag: | Springer International Publishing | Sprache: | eng |
|
|  |  |
 | |  |  |
 | Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Runtime verification, Monitoring, Specification, Logic, Safety, Liveness, Fault tolerance, Robustness, Visualization, Cyber-physical systems, Distributed systems |
|  |  |
| |