C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
System Testing of Timing Requirements Based on Use Cases and Timed Automata.
Chunhui Wang
Fabrizio Pastore
Lionel C. Briand
Published in:
ICST (2017)
Keyphrases
</>
timed automata
real time systems
model checking
test cases
reachability analysis
theorem proving
database
databases
information systems
knowledge representation
user requirements
development lifecycle