C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formalising the Dezyne Modelling Language in mCRL2.
Rutger van Beusekom
Jan Friso Groote
Paul F. Hoogendijk
Robert Howe
Wieger Wesselink
Rob Wieringa
Tim A. C. Willemse
Published in:
FMICS-AVoCS (2017)
Keyphrases
</>
modelling language
formal semantics
learning scenarios
learning design
databases
adaptive learning
ims ld
learning environment
first order logic