Visible to the public Biblio

Filters: Author is Gu, Ming  [Clear All Filters]
2018-05-16
Jiang, Yu, Liu, Han, Song, Houbing, Kong, Hui, Gu, Ming, Sun, Jiaguang, Sha, Lui.  2016.  Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. :757–763.