Home Advanced Search

Advanced Search - Page 1

Domain-Specific Conceptual Modeling: Concepts, Methods and Tools
  • PDF
  • English
  • Year: 2016
  • Author: Dimitris Karagiannis, Heinrich C. Mayr, John Mylopoulos (eds.)
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions
  • PDF
  • English
  • Year: 2013
  • Author: Zahir Tari, Peter Bertok, Anshuman Mukherjee(auth.)