Une extension probabiliste pour Event-B
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...
Communication Dans Un Congrès
Année : 2017
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 : mardi 27 août 2024-12:48:29
Archivage à long terme le : mardi 24 avril 2018-12:29:21
Dates et versions
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⟩
Collections
122
Consultations
69
Téléchargements