Sciweavers

6 search results - page 2 / 2
» fmco 2009
Sort
View
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
13 years 3 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink