Login / Signup

Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Published in: FMICS-AVoCS (2016)
Keyphrases
  • formal methods
  • automated verification
  • model checking
  • expert systems
  • embedded systems
  • international conference
  • data mining
  • artificial intelligence
  • knowledge base
  • reactive systems