Login / Signup

ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models.

Stefan MitschAndré Platzer
Published in: RV (2014)
Keyphrases
  • real time
  • data management
  • mobile agents