Model Checking Timed Safety Instrumented Systems

Reference:

Jussi Lahtinen. Model checking timed safety instrumented systems. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008.

Suggested BibTeX entry:

@mastersthesis{LahtinenMsc,
    author = {Jussi Lahtinen},
    school = {Helsinki University of Technology, Department of Information and Computer Science},
    title = {Model Checking Timed Safety Instrumented Systems},
    year = {2008},
}