Login / Signup

Symbolic-numeric problems in the automatic analysis and verification of cyber-physical systems.

Stefan Ratschan
Published in: SNC (2009)
Keyphrases
  • automatic analysis
  • real time
  • decision making
  • data warehouse
  • social network analysis