CNR Institutional Research Information System

Strumento software per la simulazione di sistemi descritti tramite l'algebra di processo PSC.

PSC V0.4

Franco Mazzanti
2006

Abstract

Strumento software per la simulazione di sistemi descritti tramite l'algebra di processo PSC.
2006
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
accessibile via web alla pagina http://fmt.isti.cnr.it/psc
model-checking
verifica formale
descrizione formale
simulazione
1
Mazzanti, Franco
296
none
05 Altro::05.11 Software
info:eu-repo/semantics/other
05.11 Software
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: https://hdl.handle.net/20.500.14243/180215
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact