Collaborative Verification-Driven Engineering of Hybrid Systems
Mitsch, Stefan, Passmore, Grant Olney, Platzer, AndréVolume:
8
Language:
english
Journal:
Mathematics in Computer Science
DOI:
10.1007/s11786-014-0176-y
Date:
March, 2014
File:
PDF, 2.39 MB
english, 2014