OntoEvent-B - Générateur de contextes Event-B à partir des ontologies
Date de dépôt : 01 janvier 1970

Responsable : AIT-SADOUNE Idir




Pour en savoir plus: http://wdi.supelec.fr/software/OntoEventB

Logiciel



Activités de recherche
  Formalisation de langages (de spécification et de programmation) dans les assistants de preuve

Membres
  AIT-SADOUNE Idir

Equipe
  Modélisation Hétérogène

BSP++
The C++ Bulk Synchronous Parallelism Library

TAXOMAP ALIGNMENT
Un outil d'alignement de taxonomies

FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé