TY - GEN
T1 - Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems
AU - Gribaudo, Marco
AU - Codetta-Raiteri, Daniele
AU - Franceschinis, Giuliana
PY - 2005
Y1 - 2005
N2 - This paper presents the last version of Draw-Net, a customizable tool for the design and solution of models expressed in any graph based formalism, including the possibility of representing complex models by means of multi-formalism and analyzing them by exploiting different solution modules. In particular, it focuses on the new tools and features available in the current version of the framework.
AB - This paper presents the last version of Draw-Net, a customizable tool for the design and solution of models expressed in any graph based formalism, including the possibility of representing complex models by means of multi-formalism and analyzing them by exploiting different solution modules. In particular, it focuses on the new tools and features available in the current version of the framework.
UR - http://www.scopus.com/inward/record.url?scp=33847258907&partnerID=8YFLogxK
U2 - 10.1109/QEST.2005.10
DO - 10.1109/QEST.2005.10
M3 - Conference contribution
AN - SCOPUS:33847258907
SN - 0769524273
SN - 9780769524276
T3 - QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems
SP - 257
EP - 258
BT - QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems
T2 - QEST 2005 - Second International Conference on the Quantitative Evaluation of SysTems
Y2 - 19 September 2005 through 22 September 2005
ER -