ITACA

swMATH15257MaRDI QIDQ27148FDOQ27148

Author name not available (Why is that?)

Official website: http://cadp.inria.fr/software/09-a-itaca-acide.html

Cited In (12)

• Contracts for security adaptation
• Structural reconfiguration of systems under behavioral adaptation
• A generic framework for \(n\)-protocol compatibility checking
• SYNTHESIS
• WSAT
• LTSA-WS
• SOFA 2.0
• BESERIAL
• DCMTB
• ContextJ
• A white box perspective on behavioural adaptation
• Synthesis of secure adaptors

This page was built for software: ITACA