An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems (bibtex)
by Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe
Reference:
H. Kausch, M. Pfeiffer, D. Raco, and B. 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, 2581, February, 2020, CEUR Workshop Proceedings.
Bibtex Entry:
@inproceedings{KPRR20a,
    key = {KPRR20a},
    author = {Kausch, Hendrik and Pfeiffer, Mathias and Raco, Deni and Rumpe, Bernhard},
    editor = {Hebig, Regina and Heinrich, Robert},
    title = {{An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems}},
    booktitle = {Combined Proceedings of the Workshops at Software Engineering 2020},
    year = {2020},
    month = {February},
    publisher = {CEUR Workshop Proceedings},
    url = {http://ceur-ws.org/Vol-2581/ },
    volume = {2581},
    location = {Innsbruck},
    url = {http://www.se-rwth.de/publications/An-Approach-for-Logic-based-Knowledge-Representation-and-Automated-Reasoning-over-Underspecification-and-Refinement-in-Safety-Critical-Cyber-Physical-Systems.pdf}
}
Powered by bibtexbrowser