A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking

AMPARORE, ELVIO GILBERTO
2014

11th International Conference, QEST 2014
Firenze
2014
Quantitative Evaluation of Systems
Springer International Publishing
8657
170
173
http://dx.doi.org/10.1007/978-3-319-10696-0_13
CSLTA stochastic logic; GreatSPN; GUI; GSPN editor
E. Amparore
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2318/152117
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 17
  • ???jsp.display-item.citation.isi??? 11
social impact