Sign in

Finite Axiom Systems for Testing Preorder and De Simone Process Languages.

Irek Ulidowski
Published in: AMAST (1996)
Keyphrases
  • databases
  • management system
  • knowledge based systems
  • neural network
  • intelligent systems
  • test cases
  • complex systems
  • process model
  • development process
  • target language
  • description languages