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
model-checking
verifica formale
descrizione formale
simulazione
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