Toggle navigation
Home
People
Departments
Research
About
Login
Search
2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops
Journal
Overview
Overview
publication venue for
Towards a Model-Based Refinement Process for Contractual State Machines
2010