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}, }