Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Inproceedings1276

Aus Aifbportal

Wechseln zu: Navigation, Suche

(This page contains COinS metadata)

Formal Specification of Web Service Contracts for Automated Contracting and Monitoring


Steffen Lamparter, Stefan Luckner, Sibylle Mutschler



Published: 2007 Januar

Buchtitel: Proceedings of the 40th Annual Hawaii International Conference on System Sciences
Verlag: Computer Society Press
Referierte Veröffentlichung
BibTeX

Download: Media:2007_1276_Lamparter_Formal_Specific_1.pdf

Projekt

Graduiertenkolleg IME



Forschungsgruppe

Wissensmanagement


Forschungsgebiet
Semantische Web Dienste


-->