Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study.
Fevzi BelliKarl-Erwin GroßpietschPublished in: IEEE Trans. Software Eng. (1991)
Keyphrases
- fault tolerant
- regular expressions
- case study
- fault tolerance
- state machine
- pattern matching
- distributed systems
- load balancing
- tree automata
- semistructured data
- query language
- finite automata
- xml schema
- regular path queries
- matching algorithm
- high level
- query evaluation
- regular languages
- finite state machines
- safety critical
- software development
- deterministic finite automata
- databases
- formal methods
- graph databases
- model checking