Une extension probabiliste pour Event-B - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Une extension probabiliste pour Event-B

Domaines

Génie logiciel [cs.SE] Modélisation et simulation
Fichier principal
Vignette du fichier
final.pdf (196.64 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Arnaud Lanoix  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01685126

Soumis le : mardi 23 janvier 2018-14:49:21

Dernière modification le : vendredi 24 mars 2023-14:53:06

Archivage à long terme le : mardi 24 avril 2018-12:29:21

Télécharger pour visualiser

Dates et versions

hal-01685126 , version 1 (23-01-2018)

Identifiants

  • HAL Id : hal-01685126 , version 1

Citer

Mohamed Amine Aouadhi, Benoit Delahaye, Arnaud Lanoix. Une extension probabiliste pour Event-B. 16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France. ⟨hal-01685126⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES INSTITUT-TELECOM CNRS EC-NANTES UNAM TDS-MACS LS2N LS2N-AELOS NANTES-UNIVERSITE
114 Consultations
59 Téléchargements

Partager

Gmail Facebook X LinkedIn More