https://www.ibisc.univ-evry.fr/portfolio/projet-anr-jcjc-svedas-specification-et-verification-des-systemes-bases-sur-les-donnees-2017-2019/?portfolioCats=33
Projet ANR JCJC SVeDaS: « Spécification et Vérification des Systèmes basés sur les Données »...
SVeDaS : Spécification et Vérification des Systèmes basés sur les Données Au cours des dernières années, les systèmes dits data-aware (DaS) ont été proposés...
projetanrjcjcsvedasdes