(Created page with " == Abstract == Many possible solutions, differing in the assumptions and implementations of the components in use, are usually in competition during early design stages. Dec...") |
m (Scipediacontent moved page Draft Content 451060539 to Gario et al 2016a) |
(No difference)
|
Many possible solutions, differing in the assumptions and implementations of the components in use, are usually in competition during early design stages. Deciding which solution to adopt requires considering several trade-offs. Model checking represents a possible way of comparing such designs, however, when the number of designs is large, building and validating so many models may be intractable.
The different versions of the original document can be found in:
Published on 01/01/2016
Volume 2016, 2016
DOI: 10.1007/978-3-319-41540-6_1
Licence: Other
Are you one of the authors of this document?