Sign in

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.

Stefano SchivoBugra M. YildizEnno RuijtersChristopher GerkingRajesh KumarStefan DziwokArend RensinkMariëlle Stoelinga
Published in: SETTA (2017)
Keyphrases
  • website
  • back end
  • multiscale
  • expert systems
  • data model
  • model checking
  • user friendly
  • highly efficient