Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe. An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems. In Regina Hebig, Robert Heinrich, editors, 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. Volume 2581 of CEUR Workshop Proceedings, CEUR-WS.org, 2020. [doi]
@inproceedings{KauschPRR20,
title = {An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems},
author = {Hendrik Kausch and Mathias Pfeiffer and Deni Raco and Bernhard Rumpe},
year = {2020},
url = {http://ceur-ws.org/Vol-2581/aviose2020paper3.pdf},
researchr = {https://researchr.org/publication/KauschPRR20},
cites = {0},
citedby = {0},
booktitle = {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},
editor = {Regina Hebig and Robert Heinrich},
volume = {2581},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}