Ove kerlund
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1999–2004
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | ISoLA | Designing Safe, Reliable Systems Using Scade. | Parosh Aziz Abdulla, Johann Deneux, Gunnar Stlmarck, Herman gren, Ove kerlund |
| 2004 | ISoLA | Designing Safe, Reliable Systems using Scade. | Parosh Aziz Abdulla, Johann Deneux, Gunnar Stlmarck, Herman gren, Ove kerlund |
| 1999 | FM | Combining Theorem Proving and Continuous Models in Synchronous Design. | Simin Nadjm-Tehrani, Ove kerlund |