The ASSL Approach to Formal Specification of Self-managing Systems
You are here
| Title | The ASSL Approach to Formal Specification of Self-managing Systems |
| Publication Type | Book Chapter |
| Year of Publication | 2019 |
| Authors | Vassev E, Hinchey M |
| Editor | Margaria T, Graf S, Larsen KG |
| Book Title | Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday |
| Pagination | 268–296 |
| Publisher | Springer International Publishing |
| City | Cham |
| ISBN Number | 978-3-030-22348-9 |
| URL | https://doi.org/10.1007/978-3-030-22348-9_17 |
| DOI | 10.1007/978-3-030-22348-9_17 |
