-
Improving Model Checking with Context Modelling
International audience -
Analyse à partir du modèle
Les systèmes embarqués rendent un nombre de services grandissant et font partie de notre vie quotidienne : ascenseurs, transports, téléphonie, médecine énergie,...
