![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| therac30yrs_later.pdf | 2022-05-05 11:55 | 451K | |
| extras.html | 2022-02-22 10:40 | 6.2K | |
| misra-c-2004.pdf | 2022-02-22 10:31 | 1.1M | |
| c-coding-standard.pdf | 2022-02-22 10:04 | 3.7M | |
| TTCN-3_Introduction_version_T3UC05.pdf | 2020-12-16 11:52 | 1.2M | |
| proving.pdf | 2020-10-26 23:53 | 502K | |
| pvs_language.pdf | 2020-10-26 23:49 | 307K | |
| intro_pvs.pdf | 2020-10-26 23:46 | 651K | |
| viviani.pdf | 2018-10-11 15:10 | 1.9M | |
| Imagicle-Pisa-IngSw-Oct-2018_rev03.pdf | 2018-10-11 15:10 | 1.9M | |
| cosim18_slides.pdf | 2018-09-13 19:24 | 304K | |
| cosim18cr.pdf | 2018-09-13 19:23 | 153K | |
| cosim-cps_slides.pdf | 2017-11-06 11:05 | 175K | |
| cosim-cps_cr.pdf | 2017-11-06 11:03 | 199K | |
| gabes.pdf | 2017-06-26 13:00 | 1.6M | |
| preprint_isgc07.pdf | 2017-06-23 14:51 | 136K | |
| masci-icts4ehealth-cr.pdf | 2017-02-03 10:56 | 117K | |
| 2016_fide.pdf | 2016-11-30 17:23 | 285K | |
| domenici-misraC-FIDE2016.pdf | 2016-11-17 12:23 | 767K | |
| depsec2016.pdf | 2016-05-03 10:34 | 1.3M | |
| kp_elems_of_pgmng_sty.pdf | 2015-11-18 17:34 | 10M | |
| criteria.pdf | 2014-11-11 17:15 | 576K | |
| 2014_cardiotechnix.pdf | 2014-10-27 17:19 | 277K | |
| cardio2014slides.pdf | 2014-10-27 12:54 | 798K | |
| automobile.pdf | 2014-10-06 11:49 | 31K | |
| 2012_wrc.pdf | 2014-07-02 16:20 | 179K | |
| newunix.pdf | 2014-05-19 16:40 | 375K | |
| seminario120319corr.pdf | 2014-05-10 10:56 | 368K | |
| ss32-4_baronti_domenici.pdf | 2013-11-16 11:05 | 2.5M | |
| codingstyle.txt | 2013-10-07 19:01 | 2.4K | |
| mori.pdf | 2013-03-20 13:01 | 2.7M | |
| urdvertextrigr.pdf | 2012-10-25 10:46 | 115K | |
| standard/ | 2012-10-25 10:38 | - | |
| sssup00.pdf | 2011-12-07 16:32 | 129K | |
| edg_browsers.pdf | 2011-12-07 15:04 | 128K | |
| pvs_intro.pdf | 2011-11-04 10:36 | 272K | |
| peterson.pdf | 2011-11-03 09:42 | 2.5M | |
| murata.pdf | 2011-11-03 09:42 | 3.5M | |
| Petri-diss-de-d-2zu1.pdf | 2011-11-03 09:42 | 32M | |
| ccm_tutorial_Yokohama.pdf | 2011-05-31 17:28 | 6.7M | |
| Alted_HDF5_INTRO.pdf | 2011-04-27 18:17 | 1.5M | |
| ewdc09.pdf | 2011-04-27 17:57 | 356K | |
| donno_domenici_ewdc09-slides.pdf | 2011-04-27 17:57 | 356K | |
| slidesisgc07.pdf | 2011-04-27 17:53 | 1.5M | |
| sevenmyths.pdf | 2010-05-06 13:39 | 792K | |
| therac.pdf | 2010-02-09 10:25 | 292K | |
| CCM.pdf | 2009-12-16 17:52 | 3.8M | |
| hello_ccm.zip | 2009-12-16 17:49 | 18K | |
| CORBAbook.pdf | 2009-12-07 12:23 | 1.1M | |
| readingSmalltalk.pdf | 2009-10-22 14:26 | 27K | |
| EWD1036.pdf | 2009-09-28 15:18 | 897K | |
| esa-x-1819eng.pdf | 2009-09-26 13:16 | 2.1M | |
| swe_grnspg090902.pdf | 2009-09-26 11:12 | 167K | |
| swe_grnspg090615.pdf | 2009-09-26 11:11 | 273K | |
| yuinfo2000talk.pdf | 2008-12-01 10:53 | 151K | |
| yuinfo2000.pdf | 2008-12-01 10:53 | 204K | |
| corba0708.pdf | 2008-01-09 19:02 | 716K | |
| ariane5-benari.pdf | 2004-11-10 14:47 | 76K | |
| CLEANROOM_HandbookVol_1.txt | 1997-11-03 11:41 | 61K | |