Login / Signup

Synchronous AADL and Its Formal Analysis in Real-Time Maude.

Kyungmin BaePeter Csaba ÖlveczkyAbdullah Al-NayeemJosé Meseguer
Published in: ICFEM (2011)
Keyphrases
  • formal analysis
  • real time
  • formal methods
  • agent model
  • low cost
  • vision system
  • control system
  • test cases
  • ban logic
  • case study
  • multi agent systems
  • xml documents
  • query language
  • formal specification
  • real time systems