Stage-oe-small.jpg

Inproceedings1276

Aus Aifbportal
Wechseln zu:Navigation, Suche


Formal Specification of Web Service Contracts for Automated Contracting and Monitoring


Formal Specification of Web Service Contracts for Automated Contracting and Monitoring



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