Login / Signup

Design Time Methodology for the Formal Verification of Intelligent Domotic Environments.

Fulvio CornoMuhammad Sanaullah
Published in: ISAmI (2011)
Keyphrases
  • formal verification
  • case study
  • model checking
  • dynamic environments
  • design process
  • conceptual model
  • conceptual framework
  • design methodology
  • functional verification
  • test cases
  • support systems