Login / Signup

An Approach to Modelling and Verification of Component Based Systems.

Gregor GößlerSusanne GrafMila E. Majster-CederbaumMoritz MartensJoseph Sifakis
Published in: SOFSEM (1) (2007)
Keyphrases
  • expert systems
  • artificial intelligence
  • management system
  • complex systems
  • database
  • intelligent systems
  • data sets
  • multiscale
  • software engineering
  • learning systems
  • automated verification