Accueil
>
Production scientifique
> Logiciels et brevets
Présentation
Equipes
Collaborations
Production scientifique
Résultats majeurs
Contrats
Logiciels & Brevets
Thèses et habilitations
Publications du LRI
Publications internes
Recrutements
Formation
Informations pratiques
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
CODALAB
open source framework for running competitions
DNADNA
Deep Neural Architectures for DNA
CARTOLABE
CARTOLABE
> tous les logiciels
