Login / Signup

Software Verification of Autonomic Systems Developed with ASSL.

Emil VassevMike Hinchey
Published in: Monterey Workshop (2010)
Keyphrases
  • autonomic systems
  • open source
  • autonomic computing systems
  • real time
  • cooperative