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)
Contribution to a book, Contribution to a conference proceedings

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)
Page(s)/Article-Nr.: 8 Seiten