OntoEventB: A Generator of Event-B contexts from Ontologies - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2021

OntoEventB: A Generator of Event-B contexts from Ontologies

Idir Ait-Sadoune
CentraleSupélec
Laboratoire Méthodes Formelles
Université Paris-Saclay
CV

Domaines

Modélisation et simulation Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
IAS_Rodin_Workshop_2021.pdf (167.23 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Idir Ait Sadoune  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03265730

Soumis le : lundi 21 juin 2021-11:07:54

Dernière modification le : vendredi 17 mai 2024-16:22:05

Archivage à long terme le : mercredi 22 septembre 2021-18:22:17

Télécharger pour visualiser

Dates et versions

hal-03265730 , version 1 (21-06-2021)

Identifiants

  • HAL Id : hal-03265730 , version 1

Citer

Idir Ait-Sadoune. OntoEventB: A Generator of Event-B contexts from Ontologies. 9th Rodin User and Developer Workshop, Jun 2021, Ulm, Germany. ⟨hal-03265730⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN CENTRALESUPELEC TDS-MACS UNIV-PARIS-SACLAY ANR ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
114 Consultations
72 Téléchargements

Partager

More