default search action

combined dblp search
author search
venue search
publication search

ask others

MSVVEIS 2010: Milan, Italy

> Home > Conferences and Workshops > MSVVEIS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/vveis/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/2010
Juan Garbajosa Sopeña, Manuel I. Capel Tuñón:
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, In conjunction with ICEIS 2010, Funchal, Madeira, Portugal, June 2010. SciTePress 2010, ISBN 978-989-8425-12-6

Invited Speaker

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/vveis/Huchard10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/Huchard10
Marianne Huchard:
On Some Complementary Trends in Model Transformation Generation. MSVVEIS 2010: 3
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/vveis/AlarconPYM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/AlarconPYM10
Pedro Pablo Alarcón, Jennifer Pérez, Agustín Yagüe, David Musat:
Definition of Domain Specific Operation Languages Following MDD. MSVVEIS 2010: 5-15

Papers

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/vveis/ScafesB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/ScafesB10
Mihnea Scafes, Costin Badica:
Framework for Performance Evaluation of Service Negotiations in Agent Systems. MSVVEIS 2010: 19-29
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/vveis/BalzG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/BalzG10
Moritz Balz, Michael Goedicke:
Towards Domain-specific Modeling for Java Enterprise Applications. MSVVEIS 2010: 30-39
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/vveis/TabatabaiePP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/TabatabaiePP10
Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige:
KAOS-β: A Goal-oriented Process Model for EIS. MSVVEIS 2010: 40-49
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/vveis/Prisecaru10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/Prisecaru10
Oana Otilia Prisecaru:
The Analysis of Resource Constrained Workflows using Petri Nets. MSVVEIS 2010: 50-59
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/vveis/MendozaCP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/MendozaCP10
Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez:
Compositional Verification of Business Processes by Model-Checking. MSVVEIS 2010: 60-69
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/vveis/MohammedF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/MohammedF10
Ammar Mohammed, Ulrich Furbach:
Extending CTL to Specify Quantitative Temporal Requirements. MSVVEIS 2010: 70-79

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.