Comparing Formal Verification Approaches of Interlocking Systems

A. E. Haxthausen, Hoang Nga Nguyen, M. Roggenbach

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    12 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Comparing Formal Verification Approaches of Interlocking Systems'. Together they form a unique fingerprint.

    Computer Science