KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal Specification of Web Service Contracts for Automated Contracting and Monitoring

Lamparter, Steffen; Luckner, Stefan; Mutschler, Sibylle



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2007
Sprache Englisch
Identifikator ISBN: 978-0-7695-2755-0
KITopen ID: 1000016999
Erschienen in 40th Annual Hawaii International Conference on System Sciences, HICSS 2007, Jan. 3 - 6, 2007, Waikoloa, Big Island, Hawaii
Verlag IEEE Computer Society, Los Alamitos (Calif.)
Seiten 1530 - 1605
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page