RailCabs and Birds in Julia: Context-Role Ensemble Engineering in Practice
Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Contributors
Details
| Original language | English |
|---|---|
| Title of host publication | Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems |
| Editors | Tiziana Margaria, Bernhard Steffen |
| Publisher | Springer Nature |
| Pages | 191–207 |
| Number of pages | 16 |
| ISBN (electronic) | 978-3-031-75107-3 |
| ISBN (print) | 978-3-031-75106-6 |
| Publication status | Published - 27 Oct 2024 |
| Peer-reviewed | Yes |
Publication series
| Series | Lecture Notes in Computer Science |
|---|---|
| Volume | 15220 |
| ISSN | 0302-9743 |
External IDs
| ORCID | /0000-0002-3513-6448/work/171065335 |
|---|---|
| ORCID | /0009-0008-3887-3217/work/171066102 |