Formal refinement of extended state machines
Résumé
no abstract
Communication Dans Un Congrès
Année : 2015
Régine Laleau : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01575304
Soumis le : vendredi 18 août 2017-17:33:26
Dernière modification le : vendredi 24 mars 2023-14:53:05
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⟩
48
Consultations
0
Téléchargements