- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 3 |      | Anjali Joshi, Mats Per Erik Heimdahl: Behavioral Fault Modeling for Model-based Safety Analysis. HASE 2007: 199-208 |
| 2005 | ||
| 2 | | Anjali Joshi, Mats Per Erik Heimdahl: Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. SAFECOMP 2005: 122-135 |
| 2003 | ||
| 1 | | Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl: Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. ICFEM 2003: 167-186 |
| 1 | Mats Per Erik Heimdahl | [1] [2] [3] |
| 2 | Sanjai Rayadurgam | [1] |