Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

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.

Lingua originaleInglese
Titolo della pubblicazione ospiteQEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems
Pagine257-258
Numero di pagine2
DOI
Stato di pubblicazionePubblicato - 2005
EventoQEST 2005 - Second International Conference on the Quantitative Evaluation of SysTems - Torino, Italy
Durata: 19 set 200522 set 2005

Serie di pubblicazioni

NomeQEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems
Volume2005

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???QEST 2005 - Second International Conference on the Quantitative Evaluation of SysTems
Paese/TerritorioItaly
CittàTorino
Periodo19/09/0522/09/05

Fingerprint

Entra nei temi di ricerca di 'Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems'. Insieme formano una fingerprint unica.

Cita questo