ModelPlex: verified runtime validation of verified cyber-physical system models
Mitsch, Stefan, Platzer, AndréVolume:
49
Language:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-016-0241-z
Date:
October, 2016
File:
PDF, 1.82 MB
english, 2016