Login / Signup

Formal Modeling and Analysis for Interactive Hybrid Systems.

Ellen J. BassKaren M. FeighElsa L. GunterJohn M. Rushby
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)
Keyphrases
  • hybrid systems
  • black box
  • artificial intelligence
  • multi agent systems
  • data mining
  • data analysis
  • expert systems
  • multi class
  • discrete event