Login / Signup

Scenarios, goals, and state machines: a win-win partnership for model synthesis.

Christophe DamasBernard LambeauAxel van Lamsweerde
Published in: SIGSOFT FSE (2006)
Keyphrases
  • state machine
  • state machines
  • neural network