Login / Signup

Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems.

Stefan NaujokatLouis-Marie TraonouezMalte IsbernerBernhard SteffenAxel 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