Formal refinement of extended state machines

Abstract : no abstract
Type de document :
Communication dans un congrès
John Derrick and Eerke A. Boiten and Steve Reeves. Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015., 2015, Unknown, Unknown Region. 209, pp.1--16, 2015, EPTCS. 〈10.4204/EPTCS.209.1〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01575304
Contributeur : Régine Laleau <>
Soumis le : vendredi 18 août 2017 - 17:33:26
Dernière modification le : jeudi 11 janvier 2018 - 06:19:29

Lien texte intégral

Identifiants

Collections

Citation

Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais. Formal refinement of extended state machines. John Derrick and Eerke A. Boiten and Steve Reeves. Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015., 2015, Unknown, Unknown Region. 209, pp.1--16, 2015, EPTCS. 〈10.4204/EPTCS.209.1〉. 〈hal-01575304〉

Partager

Métriques

Consultations de la notice

44