Sign in

A state-of-practice questionnaire on verification and validation for concurrent programs.

Margaret A. WojcickiPaul A. Strooper
Published in: PADTAD (2006)
Keyphrases
  • concurrent programs
  • database
  • databases
  • machine learning
  • database systems
  • process algebra
  • real time
  • artificial intelligence
  • relational databases
  • wireless sensor networks
  • response time
  • peer to peer
  • formal methods