Home |  DEUTSCH |  Contact |  Imprint |  Data Protection |  Login |  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