Salons - Conférences
Décembre 2023
NII Shonan Meeting : « Extensions de méthodes formelles pour utiliser des théories de domaine»
Systerel a récemment participé au séminaire NII Shonan, qui s’est tenu au Japon, sur le thème « Extensions de méthodes formelles pour utiliser des théories de domaine ».
Les séminaires NII Shonan constituent une plate-forme de premier plan pour la collaboration internationale dans la recherche en informatique.