Conference
Towards a Model-Based Refinement Process for Contractual State Machines
Authors
Harbird L; Galloway A; Paige RF
Pagination
pp. 108-115
Publisher
IEEE
Publication Date
2010
ISBN-13
9781424472185
DOI
10.1109/ISORCW.2010.25
Conference proceedings
2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops