Specification and Verification for Grid Component-Based Applications: From Models to Tools.

Antonio Cansado Eric Madelaine

Published in: FMCO (2008)

Keyphrases

software tools
formal methods
probabilistic model
modelling language
information systems
decision support
process model
computational models
formal verification
formal models
experimental data
model checking
conceptual models