Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen. Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. In Manuel Núñez, Matthias Güdemann, editors, Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings. Volume 9128 of Lecture Notes in Computer Science, pages 47-61, Springer, 2015. [doi]

This author has not been identified. Look up 'Jin Hyun Kim' in GoogleThis author has not been identified. Look up 'Kim G. Larsen' in GoogleThis author has not been identified. It may be one of the following persons:

Brian Nielsen

Look up 'Brian Nielsen' in GoogleThis author has not been identified. Look up 'Marius Mikucionis' in GoogleThis author has not been identified. Look up 'Petur Olsen' in Google

runs on WebDSL