Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller.

Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, Lui Sha

Browse the full FM paper archive.