BIP -- Incremental Component-based Construction of Real-time Systems
BIP Metamodel
- Model
- Component
- Compound component
- Atomic component
- Expression
- Statement
Distributed and Complex Systems Group
DCS
Teams/Topics
- Formal Methods for Computer Security
- Behavior Interaction Priority (BIP)
- Specification languages and validation
- Program Verification
Misc.
|
|
|