Index of /~bochmann/CSI5174/CourseNotes/Literature

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