From Physical Modelling to Compositional Models of Hybrid Systems
Authors:
Simin Nadjm-Tehrani;Jan-Erik Strömberg
Affiliations:
-;-
Venue:
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems