Verification method of reliability requirements.

Satsuki Yamada Takayuki Omori Atsushi Ohnishi

Published in: KES (2019)

Keyphrases

verification method
model checking
temporal logic
learning algorithm
reliability analysis
database
real time
machine learning
computer vision
e learning
case study
general purpose
functional requirements
failure rate
highly reliable
cost effectiveness