The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering.
Martin OuimetKristina LundqvistPublished in: J. Univers. Comput. Sci. (2008)
Keyphrases
- state machine
- state machines
- finite state machines
- real time
- petri net
- fault tolerant
- programming language
- low cost
- computer science
- language learning
- artificial intelligence
- engineering design
- model checking
- high speed
- software engineering
- digital libraries
- data management
- engineering problems
- natural language
- temporal logic
- query language
- real time systems
- high level