RailCabs and Birds in Julia: Context-Role Ensemble Engineering in Practice
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems |
| Redakteure/-innen | Tiziana Margaria, Bernhard Steffen |
| Herausgeber (Verlag) | Springer Nature |
| Seiten | 191–207 |
| Seitenumfang | 16 |
| ISBN (elektronisch) | 978-3-031-75107-3 |
| ISBN (Print) | 978-3-031-75106-6 |
| Publikationsstatus | Veröffentlicht - 27 Okt. 2024 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | Lecture Notes in Computer Science |
|---|---|
| Band | 15220 |
| ISSN | 0302-9743 |
Externe IDs
| ORCID | /0000-0002-3513-6448/work/171065335 |
|---|---|
| ORCID | /0009-0008-3887-3217/work/171066102 |