Applying Model Checking to Analysing Safety Instrumented Systems

Reference:

Matti Koskimies. Applying model checking to analysing safety instrumented systems. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008.

Suggested BibTeX entry:

@mastersthesis{KoskimiesMsc,
    author = {Matti Koskimies},
    school = {Helsinki University of Technology, Department of Information and Computer Science},
    title = {Applying Model Checking to Analysing Safety Instrumented Systems},
    year = {2008},
}