Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel OntoEvent-B
OntoEvent-B - Générateur de contextes Event-B à partir des ontologies
Date de dernière version : 01 janvier 2017

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

Logiciels et brevets
TOUCHTOKENS
Low-cost Solution for Tangible Interfaces

LODATLAS
Browsing Linked Data Catalogs with LODAtlas

BOLDR
Query Intermediate Representation Library