Login / Signup

Towards Enabling Overture as a Platform for Formal Notation IDEs.

Luís Diogo CoutoPeter Gorm LarsenMiran HasanagicGeorgios KanakisKenneth LausdahlPeter W. V. Tran-Jørgensen
Published in: F-IDE (2015)
Keyphrases
  • visual languages
  • formal specification
  • decision trees
  • formal model
  • real time
  • learning algorithm
  • multiscale
  • modeling language
  • simulation environment
  • platform independent