| Title | Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller |
| Publication Type | Book Chapter |
| Year of Publication | 2016 |
| Authors | Jiang, Yu, Liu, Han, Song, Houbing, Kong, Hui, Gu, Ming, Sun, Jiaguang, Sha, Lui |
| Secondary Authors | Fitzgerald, John, Heitmeyer, Constance, Gnesi, Stefania, Philippou, Anna |
| Book Title | FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings |
| Pagination | 757–763 |
| Publisher | Springer International Publishing |
| City | Cham |
| ISBN Number | 978-3-319-48989-6 |
| Keywords | 1545008 |
| URL | https://doi.org/10.1007/978-3-319-48989-6_47 |
| DOI | 10.1007/978-3-319-48989-6_47 |
| Citation Key | Jiang2016FM |
Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller