dblp.uni-trier.dewww.uni-trier.de

Ove Åkerlund

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
3EEParosh 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
1EESimin Nadjm-Tehrani, Ove Åkerlund: Combining Theorem Proving and Continuous Models in Synchronous Design. World Congress on Formal Methods 1999: 1384-1399

Coauthor Index

1Parosh Aziz Abdulla [2] [3]
2Herman Ågren [2] [3]
3Johan Deneaux [2]
4Johann Deneux [3]
5Simin Nadjm-Tehrani [1]
6Gunnar Stålmarck [2] [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)