Encoding a Process Algebra Using the Event B Method - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal on Software Tools for Technology Transfer Année : 2009

Dates et versions

hal-03273749 , version 1 (29-06-2021)

Identifiants

Citer

Yamine Aït-Ameur, Mickael Baron, Nadjet Kamel, Jean-Marc Mota. Encoding a Process Algebra Using the Event B Method. International Journal on Software Tools for Technology Transfer, 2009, 11 (3), pp.239--253. ⟨10.1007/s10009-009-0109-2⟩. ⟨hal-03273749⟩
13 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More