ITACA
From MaRDI portal
Software:27148
No author found.
Related Items (5)
A generic framework for \(n\)-protocol compatibility checking ⋮ Structural reconfiguration of systems under behavioral adaptation ⋮ Contracts for security adaptation ⋮ Synthesis of secure adaptors ⋮ A White Box Perspective on Behavioural Adaptation
This page was built for software: ITACA
