Invited Speaker
| 09:00 - 10:00 Wednesday 4th September 2013 | |
| 09:00 | Assessing the probability of failure of 1-out-of-2 software-based systems: now you can multiply two small numbers ... |
| Author: Bev Littlewood, Centre for Software Reliability, City University, London, UK | |
| You can download the slides for this talk by clicking here. | |
| 09:00 - 10:00 Thursday 5th September 2013 | |
| 09:00 | Diagnosis and diagnosability of discrete event systems using Petri nets |
| Author: Alessandro Giua, University of Cagliari, Italy | |
| You can download the slides for this talk by clicking here. | |
| 09:00 - 10:00 Friday 6th September 2013 | |
| 09:00 | Stochastic hybrid systems |
| Author: Marc Bouissou, Électricité de France, France | |
| You can download the slides for this talk by clicking here. | |
