Formal refinement of extended state machines

Abstract : no abstract
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01575304
Contributor : Régine Laleau <>
Submitted on : Friday, August 18, 2017 - 5:33:26 PM
Last modification on : Thursday, January 11, 2018 - 6:19:29 AM

Links full text

Identifiers

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〉

Share

Metrics

Record views

46