Login / Signup

Automatic Formal Model Generation and Analysis of SDL.

Annikka AaltoNisse HusbergKimmo Varpaaniemi
Published in: SDL Forum (2003)
Keyphrases
  • formal analysis
  • semi automatic
  • database
  • neural network
  • objective function
  • data driven