OntoEventB: A Generator of Event-B contexts from Ontologies

Authors :: Idir AIT SADOUNE
CentraleSupélec
Laboratoire Méthodes Formelles (LMF)
Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)
Université Paris-Saclay
ANR-13-INSE-0001,IMPEX,Intégration des sémantiques implicite et explicite dans les développements de systèmes discrets fondés sur la preuve.(2013)
Source :: 9th Rodin User and Developer Workshop, 9th Rodin User and Developer Workshop, Jun 2021, Ulm, Germany, HAL
Publication Year :: 2021
Publisher :: HAL CCSD, 2021.
Abstract: International audience

Subjects :: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
ComputingMilieux_MISCELLANEOUS

Language :: English
Database :: OpenAIRE
Journal :: 9th Rodin User and Developer Workshop, 9th Rodin User and Developer Workshop, Jun 2021, Ulm, Germany, HAL
Accession number :: edsair.dedup.wf.001..035db64191bbe2c10c4f6369b394cb0b

Tools