A Verification Method of Time-response Requirements.

Yuuma Matsumoto Atsushi Ohnishi

Published in: ICSOFT-EA (2016)

Keyphrases

verification method
model checking
temporal logic
functional requirements
website
search algorithm
software systems
real time
learning algorithm
multiscale
general purpose
data management
application specific