Vol-2580⫷ Vol-2581 ⫸Vol-2582
urn:nbn:de:0074-2581-0


Vol-2581/aviose2020paper2⫷Vol-2581/aviose2020paper3⫸Vol-2581/aviose2020paper4
Hendrik KauschMathias PfeifferDeni RacoBernhard Rumpe

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