Case studies on automated verification with slope boundaries for block diagrams

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

Computer Languages, Systems & Structures
Band: 54
Seite(n): 528-543

Autorinnen und Autoren

Autorinnen und Autoren

Dernehl, Christian
Kühn, Jan
Kowalewski, Stefan

Identifikationsnummern