Michelle Werth

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 3

Top Topics

Rule Based Systems

Top Venues

Publications

Jens Bendisposto, David Geleßus, Yumiko Jansing, Michael Leuschel, Antonia Pütz, Fabian Vu, Michelle Werth
ProB2-UI: A Java-Based User Interface for ProB. FMICS (2021)
Michelle Werth, Michael Leuschel
VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics. ABZ (2020)
Michael Leuschel, Mareike Mutz, Michelle Werth
Modelling and Validating an Automotive System in Classical B and Event-B. ABZ (2020)