[IEEE Second International Symposium on Leveraging...

  • Main
  • [IEEE Second International Symposium on...

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach

Bajohr, Markus, Margaria, Tiziana, Steffen, Bernhard
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2006
Language:
english
DOI:
10.1109/isola.2006.15
File:
PDF, 809 KB
english, 2006
Conversion to is in progress
Conversion to is failed