This chapter is concerned with the modeling and analysis of distributed systems using formal methods.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_160739-doc_85687.pdf
non disponibili
Descrizione: Rigorous Design
Dimensione
223.09 kB
Formato
Adobe PDF
|
223.09 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
