Login / Signup

The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems.

Martin OuimetKristina Lundqvist
Published in: APSEC (2007)
Keyphrases
  • specification language
  • real time
  • formal verification
  • programming language
  • low cost
  • conceptual model
  • artificial intelligence
  • information systems
  • case study
  • model checking