Ove Åkerlund

Publication Activity (10 Years)

Years Active: 1999-2004
Publications (10 Years): 0

Publications

Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund
Designing Safe, Reliable Systems Using Scade. ISoLA (2004)
Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund
Designing Safe, Reliable Systems using Scade. ISoLA (Preliminary proceedings) (2004)
Simin Nadjm-Tehrani, Ove Åkerlund
Combining Theorem Proving and Continuous Models in Synchronous Design. World Congress on Formal Methods (1999)