Modelling Hybrid Programs with Event-B - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

Modelling Hybrid Programs with Event-B

Domaines

Informatique [cs]

AMEL MAMMAR  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04851814

Soumis le : vendredi 20 décembre 2024-15:48:13

Dernière modification le : samedi 21 décembre 2024-03:33:56

Fichier non déposé

Dates et versions

hal-04851814 , version 1 (20-12-2024)

Identifiants

  • HAL Id : hal-04851814 , version 1

Citer

Meryem Afendi, Régine Laleau, Amel Mammar. Modelling Hybrid Programs with Event-B. Rigorous State-Based Methods - 7th International Conference, ABZ, May 2020, ULM, Germany. ⟨hal-04851814⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

LACL TELECOM-SUDPARIS UPEC IP_PARIS TSP-DISSEM TSP-DIEGO ANR INSTITUT-MINES-TELECOM
0 Consultations
0 Téléchargements

Partager

More