Towards automated safety analysis for architectures of dynamically forming networks of cyber-physical systems.
ICSE (Workshops). 2020 S. 258 - 265
Erscheinungsjahr: 2020
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Doi/URN: 10.1145/3387940.3391474
| Geprüft: | Bibliothek |
