Home |  ENGLISH |  Kontakt |  Impressum |  Datenschutz |  Anmelden |  KIT

Inproceedings1276

Aus Aifbportal

Wechseln zu: Navigation, Suche


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