Formalising the Industrial Language SMMT in mCRL2.

Jordi E. P. M. van Laarhoven Olav Bunte Louis C. M. van Gool Tim A. C. Willemse

Published in: FMICS (2024)

Keyphrases

programming language
natural language
industrial applications
language learning
real time
language processing
technology transfer
data sets
multiscale
hidden markov models
modeling language
english language
scripting language