Case studies on automated verification with slope boundaries for block diagrams

Amsterdam [u.a.] / Elsevier Science (2017, 2017) [Journal Article]

Computer Languages, Systems & Structures
Volume: 54
Page(s): 528-543

Authors

Authors

Dernehl, Christian
Kühn, Jan
Kowalewski, Stefan

Identifier