OCRA
From MaRDI portal
Software:5972831
swMATH46341MaRDI QIDQ5972831FDOQ5972831
Author name not available (Why is that?)
Cited In (7)
- Conditions of contracts for separating responsibilities in heterogeneous systems
- Title not available (Why is that?)
- Tightening the contract refinements of a system architecture
- HRELTL: a temporal logic for hybrid systems
- 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
