Toward a formal model for component interfaces for real-time systems.
Dang Van HungPublished in: FMICS (2005)
Keyphrases
- formal model
- real time systems
- real time
- distributed systems
- real time database systems
- embedded systems
- formal models
- predicate calculus
- object oriented programming language
- real time embedded
- anytime algorithms
- security properties
- timing constraints
- architectural model
- mission critical
- security patterns
- software components