MOVES - A tool for Modeling and Verification of Embedded Systems

Jens Ellebæk, Kristian S. Knudsen, Aske Wiid Brekling, Michael Reichhardt Hansen, Jan Madsen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    109 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'MOVES - A tool for Modeling and Verification of Embedded Systems'. Together they form a unique fingerprint.

    Social Sciences