[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) - Web Services for the Integration of XML-Based Content into Learning Platforms: A Three-level Model
Kröger, Reinhold, Lucke, Ulrike, Schmid, Markus, Tavangarian, DjamshidYear:
2006
Language:
english
DOI:
10.1109/isola.2006.47
File:
PDF, 655 KB
english, 2006