Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition.

Gabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema, Janos Sztipanovits

Browse the full MODELS paper archive.