Sign in

Guiding the Correction of Parameterized Specifications.

Jean-François CouchotFrédéric Dadeau
Published in: IFM (2007)
Keyphrases
  • formal specification
  • data sets
  • high level
  • specification language
  • neural network
  • concurrent systems
  • real time
  • knowledge base
  • multi agent systems
  • control flow
  • design requirements
  • transition systems