Rutger van Beusekom

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 2

Top Topics

Software Engineering

Modelling Language

Top Venues

Publications

Rutger van Beusekom, Bert de Jonge, Paul F. Hoogendijk, Jan Nieuwenhuizen
Dezyne: Paving the Way to Practical Formal Software Engineering. F-IDE@NFM (2021)
Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse
Formalising the Dezyne Modelling Language in mCRL2. FMICS-AVoCS (2017)