Dam, Mads and Fredlund, Lars-Åke and Gurov, Dilian (2003) Formal methods research at SICS and KTH: an overview. In: the eight International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03), 5-7 June 2003, Trondheim, Norway.
Full text not available from this repository.
We present a survey of the activities of the formal design techniques group in the area of industrial critical systems.
|Item Type:||Conference or Workshop Item (Paper)|
|Deposited By:||INVALID USER|
|Deposited On:||13 Jun 2008|
|Last Modified:||18 Nov 2009 16:14|
Repository Staff Only: item control page