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