Branching-Time Property Preservation Between Real-Time Systems.
Jinfeng HuangMarc GeilenJeroen VoetenHenk CorporaalPublished in: ATVA (2006)
Keyphrases
- real time systems
- real time
- distributed systems
- mission critical
- embedded systems
- real time embedded
- temporal logic
- temporal reasoning
- timing constraints
- embedded real time systems
- architectural model
- real time database systems
- epistemic logic
- temporal constraints
- object oriented programming language
- model checking
- software engineering
- scheduling problem
- artificial neural networks