Sign in

Achieving the Quality of Verification for Behavioral Models with Minimum Effort.

Tom ChenAnneliese von MayrhauserAmjad HajjarCharles AndersonMehmet Sahinoglu
Published in: ISQED (2000)
Keyphrases
  • behavioral models
  • hierarchical structures
  • information retrieval
  • data structure
  • e government