Sign in

Platform Dependent Verification: On Engineering Verification Tools for 21st Century

Lubos BrimJiri Barnat
Published in: PDMC (2011)
Keyphrases
  • st century
  • model checking
  • formal methods
  • databases
  • artificial intelligence
  • verification method
  • real time
  • e learning
  • software engineering
  • educational technology
  • challenges facing
  • learning in higher education