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

Research output: Contribution to journalArticleScientificpeer-review

Researchers

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

Research units

Details

Original languageEnglish
Pages (from-to)1-14
JournalJournal of Network and Computer Applications
Publication statusPublished - 2013
MoE publication typeA1 Journal article-refereed

ID: 785842