Formal Validation of Hierarchical State Machines against Expectations (2007)

First Author: Toyn I
Attributed to:  Refinement Patterns for Contractual Statecharts funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1109/aswec.2007.23

Publication URI: http://dx.doi.org/10.1109/aswec.2007.23

Type: Conference/Paper/Proceeding/Abstract

ISBN: 0-7695-2778-7