Tom Fransen

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Provably Correct

Temporal Properties

Top Venues

Publications

Ammar Osaiweran, Tom Fransen, Jan Friso Groote, Bart J. van Rijnsoever
Experience Report on Designing and Developing Control Components Using Formal Methods. FM (2012)