![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 2010-12_Lecture_SIG_..> | 2011-09-14 10:48 | 2.4M | |
| 2010-12_Lecture_SIG_..> | 2011-09-14 10:48 | 157K | |
| 2010-12_Lecture_SIG_..> | 2011-09-14 10:48 | 2.1M | |
| 2010-12_Lecture_SIG_..> | 2011-09-14 10:48 | 5.1M | |
| Alloy.pdf | 2011-09-14 10:48 | 8.1M | |
| Avo.als | 2011-09-14 10:48 | 432 | |
| Dependable_Software_..> | 2011-10-03 12:33 | 1.7M | |
| FS.als | 2011-09-14 10:48 | 1.1K | |
| PAS-CCS.pdf | 2011-09-14 10:48 | 636K | |
| PAS-Ex1.pdf | 2011-09-14 10:48 | 471K | |
| PAS-Ex2.pdf | 2011-09-14 10:48 | 156K | |
| PAS-HML.pdf | 2011-09-14 10:48 | 287K | |
| PAS-LTS.pdf | 2011-09-14 10:48 | 490K | |
| PAS-MUC.pdf | 2011-09-14 10:48 | 516K | |
| PAS-Reo.pdf | 2011-09-14 10:49 | 1.3M | |
| PAS-mCRL2.pdf | 2011-09-14 10:48 | 445K | |
| barqueiro.als | 2011-09-14 10:48 | 752 | |
| exercicios.pdf | 2011-09-14 10:48 | 77K | |
| exercicios_mc.pdf | 2011-09-14 10:48 | 168K | |
| mfes1011ex.pdf | 2011-09-14 10:48 | 182K | |
| mfes10112csi.pdf | 2011-09-14 10:48 | 139K | |
| mfes10113csi-new.pdf | 2012-03-20 14:18 | 200K | |
| mfes10113vfs.pdf | 2011-09-14 10:49 | 53K | |
| model_checking.pdf | 2011-09-14 10:48 | 1.1M | |
| p78-jackson.pdf | 2011-09-14 10:48 | 4.5M | |
| pftgc.pdf | 2011-09-14 10:48 | 324K | |
| teste-20062011.pdf | 2011-09-14 10:49 | 77K | |