Back to Results
First PageMeta Content
Scientific modeling / Unified Modeling Language / Model checkers / Systems engineering / Theoretical computer science / Metamodeling / Model checking / Modeling language / Domain-specific modeling / Linear temporal logic / SPIN model checker / Domain-specific language


ProMoBox in Practice : A Case Study on the GISMO Domain-Specific Modelling Language Romuald Deshayes1 , Bart Meyers2 , Tom Mens1 , and Hans Vangheluwe2,3 1 2
Add to Reading List

Document Date: 2014-09-10 09:14:12


Open Document

File Size: 760,53 KB

Share Result on Facebook
UPDATE