Selmani Meriem, Boughazi Aicha
(2013)
La vérification formelle des systèmes complexes constitue aujourd’hui un enjeu
majeur dans de nombreux domaines de la société humaine. En effet l’employant des
méthodes de spécification et vérification formelle, est ...