![]() | ![]() |
2007 | ||
---|---|---|
3 | EE | Anjali Joshi, Mats Per Erik Heimdahl: Behavioral Fault Modeling for Model-based Safety Analysis. HASE 2007: 199-208 |
2005 | ||
2 | EE | Anjali Joshi, Mats Per Erik Heimdahl: Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. SAFECOMP 2005: 122-135 |
2003 | ||
1 | EE | 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] |