Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools.

Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen

Browse the full FMICS paper archive.