Login / Signup

A Supermodel Framework Supporting Validated Upgrading of Reactive Systems.

Robert J. Hall
Published in: Autom. Softw. Eng. (2003)
Keyphrases
  • main contribution
  • probabilistic model
  • artificial intelligence
  • software engineering
  • error rate
  • state machines