Login / Signup
Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems.
Stefan Naujokat
Louis-Marie Traonouez
Malte Isberner
Bernhard Steffen
Axel Legay
Published in:
ISoLA (1) (2014)
Keyphrases
</>
multi faceted
concurrent systems
domain specific
code generator
distributed systems
model checking
temporal logic
general purpose
open source
web applications
petri net