Index of /~bochmann/CSI5174/CourseNotes/Literature

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 1984 - Synchronizati..> 2014-11-19 09:28  847K  
 1990 - Protocol spec..> 2006-06-12 09:45  1.5M  
 1991 - Test selectio..> 2014-11-13 04:19  1.2M  
 1993 - Test generati..> 2014-11-20 02:43  147K  
 1994 - Protocol test..> 2014-11-12 09:19  2.1M  
 2010 - Some notes on..> 2010-10-09 05:25  164K  
 2011 - Protocol Engi..> 2012-09-29 11:39  160K  
 Amyot - BP example -..> 2010-12-19 16:03  386K  
 Amyot - URN tutorial..> 2010-12-19 16:03  554K  
 Bartlett - alternati..> 2014-10-10 04:20  263K  
 Boch77c - from IFIP ..> 2010-12-19 16:03  3.9M  
 Boch78i - from Compu..> 2010-12-19 16:03  887K  
 Boch80b - from IEEE ..> 2011-02-08 05:37  1.0M  
 Boch80e - from IEEE ..> 2011-02-08 05:37  843K  
 Boch90b - from IEEE ..> 2010-12-19 16:03  1.0M  
 Boch90xx - from IEEE..> 2012-02-15 04:13  291K  
 Bochmann-Gotzhein 19..> 2010-12-19 16:03  685K  
 Bowen - 7 more myths..> 2010-12-19 16:04  864K  
 Bowen - FM 10 years ..> 2010-12-19 16:04  1.0M  
 Clarke - FM State of..> 2010-12-19 16:04  291K  
 Gouda-Yu 1984.pdf       2010-12-19 16:04  1.0M  
 Holzmann-1997-SPIN.pdf  2010-12-19 16:02  248K  
 Khendek-1989.pdf        2010-12-19 16:04  921K  
 Lamport-78.pdf          2010-12-19 16:04  835K  
 Lynch - reliable seq..> 2014-10-10 04:20  542K  
 Model checking tutor..> 2014-09-22 17:04  447K  
 Nakata-1998.pdf         2010-12-19 16:04   81K  
 Nakata-2002-NHT98RTC..> 2010-12-19 16:04   81K  
 OCL - 12-01-01.pdf      2012-01-10 12:40  1.7M  
 Overview of SDL.pdf     2010-12-19 16:04  118K  
 RealizabilityOfColla..> 2010-12-19 16:04  521K  
 SPIN application to ..> 2010-12-19 16:04  225K  
 SpinTutorial.pdf        2010-01-20 07:18  1.1M  
 Tretmans - Overview ..> 2014-11-20 03:17  126K  
 UML - 05-07-05 - inf..> 2010-12-19 16:05  1.6M  
 UML - superstructure..> 2013-01-06 09:15  4.5M  
 WS_FTP.LOG              2012-02-15 04:19  9.2K  
 WorkflowGen-White-Pa..> 2010-01-16 06:08   73K  
 Zafiropulos-1980.pdf    2010-12-19 16:05  1.2M  
 fault-models-context..> 2014-11-20 03:20  1.4M  
 papersByAalst/          2015-06-23 05:38    -   
 roadmap-analysis.pdf    2010-12-19 16:04  117K  
 roadmap-requirements..> 2010-12-19 16:04  100K