Towards a Model-Based Refinement Process for Contractual State Machines Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Harbird, Lishan
Galloway, Andy
Paige, Richard

status

published

publication date

2010

published in

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Journal

presented at event

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Conference