Model Checking of Distributed Component-based Control Systems.

Atef Gharbi, Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahmed

Browse the full ICSoft paper archive.