| |
| 2004 | ||
|---|---|---|
| 3 | EE | Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund: Designing Safe, Reliable Systems Using Scade. ISoLA 2004: 115-129 |
| 2 | Parosh Aziz Abdulla, Johan Deneaux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund: Designing Safe, Reliable Systems using Scade. ISoLA (Preliminary proceedings) 2004: 111-118 | |
| 1999 | ||
| 1 | EE | Simin Nadjm-Tehrani, Ove Åkerlund: Combining Theorem Proving and Continuous Models in Synchronous Design. World Congress on Formal Methods 1999: 1384-1399 |
| 1 | Parosh Aziz Abdulla | [2] [3] |
| 2 | Herman Ågren | [2] [3] |
| 3 | Johan Deneaux | [2] |
| 4 | Johann Deneux | [3] |
| 5 | Simin Nadjm-Tehrani | [1] |
| 6 | Gunnar Stålmarck | [2] [3] |