An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems

Kausch, Hendrik; Pfeiffer, Mathias; Raco, Deni; Rumpe, Bernhard

Aachen, Germany : RWTH Aachen (2020)
Buchbeitrag, Beitrag zu einem Tagungsband

In: SE-WS 2020: Software Engineering workshops 2020 : combined proceedings of the workshops at Software Engineering 2020, co-located with the German Software Engineering Conference 2020 (SE 2020) : Innsbruck, Österreich, March 05, 2020 / edited by Regina Hebig (Chalmers/University of Gothenburg, Sweden), Robert Heinrich (Karlsruher Institut für Technologie, Germany)
Seite(n)/Artikel-Nr.: 8 Seiten