Index of /~bochmann/CSI5174/CourseNotes/Literature

Icon  Name                    Last modified      Size  Description
[DIR] 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 [DIR] papersByAalst/ 23-Jun-2015 05:38 - [   ] roadmap-analysis.pdf 19-Dec-2010 16:04 117K [   ] roadmap-requirements..> 19-Dec-2010 16:04 100K
Apache/2.0.59 (FreeBSD) mod_ssl/2.0.59 OpenSSL/0.9.7e-p1 PHP/5.1.6 with Suhosin-Patch Server at www.site.uottawa.ca Port 80