Login / Signup

Improving the effectiveness of system verification.

Holger HermannsJens Palsberg
Published in: Int. J. Softw. Tools Technol. Transf. (2008)
Keyphrases
  • multiscale
  • natural language
  • digital libraries
  • expert systems
  • model checking
  • face verification