Bob Janssen

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 1

Top Topics

Conceptual Modelling

Asynchronous Circuits

Signature Verification

Top Venues

Publications

Mark Bouwman, Bob Janssen, Bas Luttik
Formal Modelling and Verification of an Interlocking Using mCRL2. FMICS (2019)
Mark Bosschaart, Egidio Quaglietta, Bob Janssen, Rob M. P. Goverde
Efficient formalization of railway interlocking data in RailML. Inf. Syst. 49 (2015)