Testing Timed Systems Using Determinization Techniques for One-Clock Timed Automata.
Moez KrichenPublished in: TACC (2021)
Keyphrases
- timed automata
- model checking
- distributed systems
- real time systems
- complex systems
- reachability analysis
- theorem prover
- retrieval systems
- knowledge based systems
- building blocks
- real time
- intelligent systems
- multimedia
- management system
- case study
- decision trees
- petri net
- first order logic
- decision making
- temporal constraints
- information systems
- finite state machines
- artificial intelligence
- neural network
- data sets