ITACA

MaRDI QIDQ27148swMATHFDO

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