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