Merkliste 
 1 Ergebnisse 
 
1

Cyber-physical systems design : formal foundations, meth..:

, In: Proceedings of the Third FME Workshop on Formal Methods in Software Engineering,