Observations on formal safety analysis in practice

Huhn M, Milius S (2014)

Publication Type: Journal article

Publication year: 2014

Journal

Science of Computer Programming Elsevier

Book Volume: 80A

Pages Range: 150--168

Authors with CRIS profile

Stefan Milius Lehrstuhl für Informatik 8 (Theoretische Informatik)

Involved external institutions

Technische Universität Clausthal / Clausthal University of Technology DE Germany (DE)

How to cite

APA:

Huhn, M., & Milius, S. (2014). Observations on formal safety analysis in practice. Science of Computer Programming, 80A, 150--168.

MLA:

Huhn, Michaela, and Stefan Milius. "Observations on formal safety analysis in practice." Science of Computer Programming 80A (2014): 150--168.

BibTeX: Download