Test selection criteria for real-time systems modeled as timed input-output automata.
Abdeslam En-NouaaryPublished in: Int. J. Web Inf. Syst. (2007)
Keyphrases
- input output
- real time systems
- selection criteria
- timed automata
- real time
- distributed systems
- finite state machines
- embedded systems
- noise cancellation
- mission critical
- real time database systems
- internal states
- fuzzy neural network
- fuzzy controller
- state transition
- real time embedded
- data envelopment analysis
- anytime algorithms
- timing constraints
- fuzzy model
- object oriented programming language
- model checking
- petri net
- open source