Model-checking for the Functional Safety of Control Component-based Heterogeneous Embedded Systems.

Mohamed Khalgui, Hans-Michael Hanisch, Atef Gharbi

Browse the full ETFA paper archive.