Linköping University: Students Alumni Trade and Industry/Society Internal Search

Search Results

AUTHOR:OVE AKERLUND
Found 2 entries
  1. Combining theorem proving and continuous models in synchronous design
    Simin Nadjm-Tehrani, Ove Akerlund
    World Congress on Formal Methods, Tolouse, France, September 1999, Volume II, LNCS 1709, Springer Verlag, pages 1384-1399

  2. Integration of Formal Methods into System Safety and Reliability Analysis
    Ove Akerlund, Simin Nadjm-Tehrani, Gunnar Stalmarck
    17th International Systems Safety Conference, ISSC'99, Florida, USA, August 1999, pages 326-336

( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)