| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2004 | |
|---|---|---|
| 3 |      | 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 | | 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] |
Colors in the list of coauthors
Last update Fri May 25 03:49:23 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page