Strumenti Utente
lpr-b:lpr-b-08:lezioni
Gestore Media
Categorie
Scegli il namespace
Selezione dei file
File in magistraleinformatica:mvs
- 01-model-checking-overview.pdf
- 28/02/2013 alle 10:18 (12 anni fa)
- 45.6 KB
- 02-def-transition-system.pdf
- 28/02/2013 alle 10:18 (12 anni fa)
- 21 KB
- 03-ts-for-sequential-circuits.pdf
- 28/02/2013 alle 10:18 (12 anni fa)
- 19.9 KB
- 04-def-program-graph.pdf
- 28/02/2013 alle 10:18 (12 anni fa)
- 22.5 KB
- 05-ts-semantics-of-program-graphs.pdf
- 28/02/2013 alle 10:18 (12 anni fa)
- 28.1 KB
- 06-syntax-of-guarded-command-lang.pdf
- 28/02/2013 alle 10:18 (12 anni fa)
- 21.3 KB
- 07-def-interleaving-of-ts.pdf
- 28/02/2013 alle 15:37 (12 anni fa)
- 23.1 KB
- 08-mutual-exclusion-with-semaphore.pdf
- 28/02/2013 alle 15:37 (12 anni fa)
- 20.1 KB
- 09-peterson-algorithm.pdf
- 28/02/2013 alle 15:37 (12 anni fa)
- 22.3 KB
- 10-def-synchronous-message-passing.pdf
- 28/02/2013 alle 15:37 (12 anni fa)
- 23.4 KB
- 11-def-channel-system.pdf
- 28/02/2013 alle 15:37 (12 anni fa)
- 24.3 KB
- 12-sos-rules-asynchronous-message-passing.pdf
- 28/02/2013 alle 15:37 (12 anni fa)
- 23.5 KB
- 13-sos-rules-synchronous-message-passing.pdf
- 28/02/2013 alle 15:37 (12 anni fa)
- 20.2 KB
- caltech14.pdf
- 14/05/2013 alle 08:07 (11 anni fa)
- 312 KB
- caltech18.ppt
- 21/05/2013 alle 15:18 (11 anni fa)
- 1.9 MB
- esercizi-2011-01.pdf
- 06/04/2011 alle 09:21 (13 anni fa)
- 210.6 KB
- esercizi-2011-02.pdf
- 17/05/2011 alle 14:59 (13 anni fa)
- 64.6 KB
- esercizi-2013-01.pdf
- 05/03/2013 alle 10:15 (12 anni fa)
- 282.2 KB
- esercizi-2013-02.pdf
- 28/03/2013 alle 23:05 (11 anni fa)
- 560.8 KB
- lec08.pdf
- 07/04/2011 alle 15:41 (13 anni fa)
- 1.2 MB
- lec09_10.pdf
- 13/04/2011 alle 08:26 (13 anni fa)
- 1.8 MB
- lec1.pdf
- 14/03/2011 alle 13:59 (14 anni fa)
- 1.1 MB
- lec2.pdf
- 16/03/2011 alle 10:23 (14 anni fa)
- 495 KB
- lec3.pdf
- 23/03/2011 alle 10:17 (13 anni fa)
- 1.8 MB
- lec4.pdf
- 23/03/2011 alle 10:17 (13 anni fa)
- 1.2 MB
- lec5.pdf
- 25/03/2011 alle 15:51 (13 anni fa)
- 2.1 MB
- lec6-safety.pdf
- 12/03/2013 alle 16:01 (11 anni fa)
- 1 MB
- lec6.pdf
- 30/03/2011 alle 10:14 (13 anni fa)
- 1.3 MB
- lec7.pdf
- 31/03/2011 alle 21:27 (13 anni fa)
- 1.2 MB
- lec11.pdf
- 18/04/2011 alle 16:09 (13 anni fa)
- 1.6 MB
- lec12_13.pdf
- 04/05/2011 alle 09:34 (13 anni fa)
- 2.5 MB
- lec14_15.pdf
- 11/05/2011 alle 14:37 (13 anni fa)
- 3.6 MB
- lec16.pdf
- 07/05/2013 alle 11:31 (11 anni fa)
- 671.7 KB
- lec17-ctl-ctlstar-summary-2013.pdf
- 23/05/2013 alle 10:02 (11 anni fa)
- 1.3 MB
- lec17.pdf
- 12/05/2011 alle 15:39 (13 anni fa)
- 1.7 MB
- mvs-spin-01.pdf
- 22/04/2013 alle 10:21 (11 anni fa)
- 231.3 KB
- mvs-spin-02.pdf
- 22/04/2013 alle 10:22 (11 anni fa)
- 224 KB
- mvs-spin-03.pdf
- 19/05/2011 alle 10:52 (13 anni fa)
- 200.9 KB
- mvs-spin-04.pdf
- 19/05/2011 alle 16:31 (13 anni fa)
- 211.1 KB
- mvs-spin-05.pdf
- 25/05/2011 alle 09:52 (13 anni fa)
- 267.4 KB
- mvs-spin-06.pdf
- 26/05/2011 alle 16:07 (13 anni fa)
- 167.2 KB
- mvs-spin-2013-05.pdf
- 16/05/2013 alle 09:21 (11 anni fa)
- 213.1 KB
- mvs-spin-2013-06.pdf
- 15/05/2013 alle 08:48 (11 anni fa)
- 197.8 KB
- mvs-spin-2013-07-optimization.pdf
- 21/05/2013 alle 18:21 (11 anni fa)
- 305.8 KB
File
- Guarda
- Storia
- Data:
- 28/02/2013 alle 15:37 (12 anni fa)
- Nome File:
- 09-peterson-algorithm.pdf
- Dimensione:
- 22KB
- Riferimenti a:
- Metodi per la Verifica del Software (A.A. 2012/13)
lpr-b/lpr-b-08/lezioni.txt · Ultima modifica: 08/10/2008 alle 13:27 (16 anni fa) da Andrea Corradini
Strumenti Pagina
