A Boundary Checking Technique for Testing Real-Time Systems Modeled as Timed Input Output Automata (Short Paper).
Abdeslam En-NouaaryAbdelwahab Hamou-LhadjPublished in: QSIC (2008)
Keyphrases
- input output
- real time systems
- timed automata
- real time
- distributed systems
- internal states
- noise cancellation
- fuzzy model
- embedded systems
- mission critical
- state transition
- fuzzy neural network
- petri net
- object oriented programming language
- data envelopment analysis
- real time database systems
- timing constraints
- real time embedded
- finite state machines
- regular expressions
- model checking
- business processes
- low cost
- neural network
- anytime algorithms
- ibm zenterprise
- computational intelligence