Home |  DEUTSCH |  Contact |  Imprint |  Data Protection |  Login |  KIT

Inproceedings1490

Aus Aifbportal

Wechseln zu: Navigation, Suche
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