Stage-oe-small.jpg

Inproceedings1490

Aus Aifbportal
Wechseln zu:Navigation, Suche


Model Checking Expressive Web Service Descriptions


Model Checking Expressive Web Service Descriptions



Published: 2007 Juli
Herausgeber: Liang-Jie Zhang, Kenneth P. Birman, Jia Zhang
Buchtitel: 5th International Conference on Web Services
Seiten: 1140-1141
Verlag: IEEE
Erscheinungsort: Salt Lake City, Utah, USA

Referierte Veröffentlichung

BibTeX

Download: Media:2007_1490_Agarwal_Model_Checking__1.pdf

Projekt

SESAMNeOnKAON WS



Forschungsgruppe

Wissensmanagement


Forschungsgebiet

Semantische Web Dienste, Web Services, Sicherheit