|
| 09:00 to 09:30 |
"ArgoPN: a CASE Tool Merging UML and Petri Nets"
Jérôme Delatour, Florent Lamotte |
| 09:30 to 10:00 |
"Measurement Metric and Performance of Messaging Systems"
Phong Tran, Jeff Gosper , Ian Gorton |
| 10:00 to 10:30 |
"Formal Verification of Component-Based Software Systems"
Leandro Dias da Silva, Angelo Perkusich |
| 11:00 to 11:30 |
"An Optimised Partial-Order Approach to the Verification of System
Components"
Simon St James, Ulrich Ultes-Nitsche |
| 11:30 to 12:00 |
"High-Level Data Races"
Cyrille Artho, Armin Biere, Klaus Havelund |
Page Updated on 11-04-2003
Copyright © Escola Superior de Tecnologia
de Setúbal, Instituto Politécnico de Setúbal |
|
