A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systems-of-Systems.

Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala

Browse the full WETICE paper archive.