Yu Jiang 0001, Han Liu 0010, Houbing Song, Hui Kong, Ming Gu 0001, Jiaguang Sun, Lui Sha
Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller
FM, 2016.
@inproceedings{FM-2016-JiangLSKGSS,
author = "Yu Jiang 0001 and Han Liu 0010 and Houbing Song and Hui Kong and Ming Gu 0001 and Jiaguang Sun and Lui Sha",
booktitle = "{Proceedings of the 21st International Symposium of Formal Methods}",
doi = "10.1007/978-3-319-48989-6_47",
ee = "https://www.wikidata.org/entity/Q56938963",
isbn = "978-3-319-48988-9",
pages = "757--763",
title = "{Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller}",
year = 2016,
}