Reentrant Statecharts for Concurrent Real-Time Systems.
Minsoo RyuJimin KimJi Chan MaengPublished in: PDPTA (2006)
Keyphrases
- real time systems
- reactive systems
- distributed systems
- real time
- embedded systems
- mission critical
- timing constraints
- real time database systems
- conceptual modeling
- agent oriented
- object oriented programming language
- formal methods
- artificial intelligence
- architectural model
- real time embedded
- embedded real time systems