Sign in

A Verification Method of Time-response Requirements.

Yuuma MatsumotoAtsushi 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