KIT | KIT-Bibliothek | Impressum | Datenschutz

An Accuracy Information Annotation Model for Validated Service Behavior Specifications

Groenda, H.



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 2010
Sprache Englisch
Identifikator ISBN: 978-3-642-21210-9
ISSN: 0302-9743
KITopen-ID: 1000030584
Erschienen in Models in Software Engineering Workshops and Symposia at MODELS 2010 Oslo, Norway, October 3-8, 2010 Reports and Revised Selected Papers
Verlag Springer, Berlin
Seiten 369-383
Serie Lecture Notes in Computer Science ; 6627
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page