Constraint-based Handling of Component Networks

Formal Modeling and Verification of Cyber-Physical Systems ◽

10.1007/978-3-658-09994-7_13 ◽

2015 ◽

pp. 281-283

Author(s):

Matthias Goldhoorn ◽

Frank Kirchner

Download Full-text