Index of /ELG7187C/CourseNotes/Literature
Name Last modified Size Description
Parent Directory -
Amyot - BP example -..> 19-Dec-2010 22:03 386K
Amyot - URN tutorial..> 19-Dec-2010 22:03 554K
Boch77c - from IFIP ..> 19-Dec-2010 22:03 3.9M
Boch78i - from Compu..> 19-Dec-2010 22:03 887K
Boch80b - from IEEE ..> 08-Feb-2011 11:37 1.0M
Boch80e - from IEEE ..> 08-Feb-2011 11:37 843K
Boch90b - from IEEE ..> 19-Dec-2010 22:03 1.0M
Boch90xx - from IEEE..> 15-Feb-2012 10:13 291K
Bochmann-Gotzhein 19..> 19-Dec-2010 22:03 685K
Bowen - 7 more myths..> 19-Dec-2010 22:04 864K
Bowen - FM 10 years ..> 19-Dec-2010 22:04 1.0M
Clarke - FM State of..> 19-Dec-2010 22:04 291K
Gouda-Yu 1984.pdf 19-Dec-2010 22:04 1.0M
Holzmann-1997-SPIN.pdf 19-Dec-2010 22:02 248K
Khendek-1989.pdf 19-Dec-2010 22:04 921K
Lamport-78.pdf 19-Dec-2010 22:04 835K
Nakata-1998.pdf 19-Dec-2010 22:04 81K
Nakata-2002-NHT98RTC..> 19-Dec-2010 22:04 81K
OCL - 12-01-01.pdf 10-Jan-2012 18:40 1.7M
Overview of SDL.pdf 19-Dec-2010 22:04 118K
RealizabilityOfColla..> 19-Dec-2010 22:04 521K
SPIN application to ..> 19-Dec-2010 22:04 225K
SpinTutorial.pdf 20-Jan-2010 13:18 1.1M
UML - 05-07-05 - inf..> 19-Dec-2010 22:05 1.6M
UML - superstructure..> 06-Jan-2013 15:15 4.5M
WS_FTP.LOG 15-Feb-2012 10:19 9.2K
WorkflowGen-White-Pa..> 16-Jan-2010 12:08 73K
Zafiropulos-1980.pdf 19-Dec-2010 22:05 1.2M
papersByAalst/ 15-Mar-2013 10:27 -
roadmap-analysis.pdf 19-Dec-2010 22:04 117K
roadmap-requirements..> 19-Dec-2010 22: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 beethoven.site.uottawa.ca Port 80