OntoEventB: A Generator of Event-B contexts from Ontologies - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

OntoEventB: A Generator of Event-B contexts from Ontologies

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)

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⟩
85 Consultations
53 Téléchargements

Partager

Gmail Facebook X LinkedIn More