New Results on Timed Specifications.
Timothy BourkeAlexandre DavidKim G. LarsenAxel LegayDidier LimeUlrik NymanAndrzej WasowskiPublished in: WADT (2010)
Keyphrases
- petri net
- finite state machines
- concurrent systems
- delay insensitive
- data sets
- high level
- specification language
- operational semantics
- artificial neural networks
- formal specification
- functional requirements
- written in natural language
- reactive systems
- asynchronous circuits
- control flow
- e learning
- artificial intelligence