Mode-Automata: About Modes and States for Reactive Systems.
Florence MaraninchiYann RémondPublished in: ESOP (1998)
Keyphrases
- reactive systems
- finite state machines
- model checking
- temporal logic
- information flow
- finite automaton
- formal methods
- petri net
- cellular automata
- finite automata
- control flow
- regular expressions
- deterministic finite automata
- finite state
- finite state automaton
- relational databases
- state machines
- low cost
- expert systems
- case study
- social networks
- artificial intelligence
- databases
- real time