OCRA
From MaRDI portal
Cited in
(13)- Conditions of contracts for separating responsibilities in heterogeneous systems
- Tightening the contract refinements of a system architecture
- HOL-OCL
- RATSY
- nuXmv
- HyComp
- SL2SX
- Papyrus-RT
- HRELTL: a temporal logic for hybrid systems
- Linear-time temporal logic with event freezing functions
- SMT-based satisfiability of first-order LTL with event freezing functions and metric operators
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts
- Formal reliability analysis of redundancy architectures
This page was built for software: OCRA
