Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework

Communication Dans Un Congrès Année : 2021

(1)

1

Peter Riviere

Génie logiciel [cs.SE] Langage de programmation [cs.PL] Logique en informatique [cs.LO] Ingénierie assistée par ordinateur Théorie et langage formel [cs.FL]

Fichier principal

Doctoral_symposium.pdf (118.85 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://hal.science/hal-03487140

Soumis le : vendredi 17 décembre 2021-15:27:06

Dernière modification le : lundi 20 novembre 2023-11:44:22

Archivage à long terme le : vendredi 18 mars 2022-19:27:26

hal-03487140 , version 1 (17-12-2021)

Peter Riviere. Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework. ABZ 2021, Jun 2021, ulm, Germany. ⟨hal-03487140⟩

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-ACADIE ANR IRIT-FSL TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP

49 Consultations

114 Téléchargements