Optimal model checking of safe control embedded software components.

Atef Gharbi, Mohamed Khalgui, Samir Ben Ahmed

Browse the full ETFA paper archive.