Second International Conference on the Quantitative Evaluation of Systems (QEST'05) Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems Torino, Italy September 19-September 22 ISBN: 0-7695-2427-3
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2005.10
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 multiformalism 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.
Citation:
Marco Gribaudo, Daniele Codetta-Raiteri, Giuliana Franceschinis, "Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems," qest, pp.257-258, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), 2005 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||