Login / Signup

Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language.

Yamine Aït AmeurRemi DelmasAlexandre CortierVirginie Wiels
Published in: ISoLA (2006)
Keyphrases
  • modelling language
  • formal semantics
  • formal methods
  • metadata
  • database systems
  • expert systems
  • learning scenarios