Stage-oe-small.jpg

Inproceedings1490

Aus Aifbportal
Version vom 16. Oktober 2009, 23:11 Uhr von Nicole Arlt (Diskussion | Beiträge) (Wikipedia python library)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
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