OCRA

swMATH46341MaRDI QIDQ5972831FDOQ5972831

Author name not available (Why is that?)

Official website: https://ocra.fbk.eu

Cited In (13)

• Conditions of contracts for separating responsibilities in heterogeneous systems
• Tightening the contract refinements of a system architecture
• HOL-OCL
• RATSY
• HRELTL: a temporal logic for hybrid systems
• nuXmv
• HyComp
• SL2SX
• Papyrus-RT
• 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