Index of /~bochmann/ELG7187C/CourseNotes/PerformanceModeling/Timed-Automata/Uppaal examples of WS protocols/business

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 BAwCC.q                 2010-10-15 17:42  354   
 BAwCC.xml               2010-10-15 17:42   50K  
 enhancedBAwCC.q         2010-10-15 17:42  542   
 enhancedBAwCC.xml       2010-10-15 17:42   56K  
 tables-BAwCC.pdf        2010-10-08 12:00  195K  
 tables-enhancedBAwCC..> 2010-10-15 17:42  281K

Apache/2.4.67 (FreeBSD) OpenSSL/3.0.16 Server at www.eiti.uottawa.ca Port 80