Skip to content

A layered formal framework for modeling of cyber-physical systems.

George Ungureanu, Ingo Sander

VenueADATE
Year2017
ProceedingsDATE

Browse the full DATE paper archive.