Sign in

Verifying the UNIPEN devset.

Louis VuurpijlRalph NielsMerijn van ErpLambert SchomakerEugene Ratzlaff
Published in: IWFHR (2004)
Keyphrases
  • model checking
  • knowledge acquisition
  • knowledge base
  • production system
  • knowledge representation
  • data model
  • software systems
  • knowledge based systems