Model-driven approach supporting formal verification for web service composition protocols

Tutkimustuotos: Lehtiartikkeli

Tutkijat

  • Christophe Dumez
  • Mohamed Bakhouya
  • Jaafar Gabera
  • Maxime Wack
  • Pascal Lorenz

Organisaatiot

Yksityiskohdat

AlkuperäiskieliEnglanti
Sivut1-14
JulkaisuJournal of Network and Computer Applications
TilaJulkaistu - 2013
OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

ID: 785842