Decomposition and Composition of Timed Automata.
Patricia BouyerAntoine PetitPublished in: ICALP (1999)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- first order logic
- theorem proving
- real time systems
- image decomposition
- decomposition method
- neural network
- inference rules
- decomposition algorithm
- decomposition methods
- hierarchical decomposition
- knowledge representation
- software engineering
- hidden markov models
- data sets
- social networks