Memocode Esweek

Presented our paper on contract-based consistency and availability analysis for distributed cyber-physical systems at MEMOCODE 2026, part of ESWEEK 2026 in Barcelona, Spain! 🎤