Formal refinement of extended state machines - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Dates et versions

hal-01575304 , version 1 (18-08-2017)

Identifiants

Citer

Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais. Formal refinement of extended state machines. Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015., 2015, Unknown, Unknown Region. pp.1--16, ⟨10.4204/EPTCS.209.1⟩. ⟨hal-01575304⟩

Collections

CNRS LACL UPEC
40 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More