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