Login / Signup

Local and global analysis: complementary activities for increasing the effectiveness of requirements verification and validation.

Lester O. LoboJames D. Arthur
Published in: ACM Southeast Regional Conference (2) (2005)
Keyphrases
  • formal analysis
  • data sets
  • statistical analysis
  • databases
  • multi agent systems
  • face verification