Formal performance analysis and simulation of UML/SysML models for ESL design.

Alexander Viehl, Timo Schnwald, Oliver Bringmann, Wolfgang Rosenstiel

Browse the full DATE paper archive.