Login / Signup

Editorial: Verification, reliability and performance.

Robert M. HieronsTao Xie
Published in: Softw. Test. Verification Reliab. (2021)
Keyphrases
  • special issue
  • neural network
  • databases
  • model checking
  • formal verification
  • highly reliable
  • decision making
  • fingerprint verification
  • reliability analysis
  • software reliability
  • high security
  • verification method