SODA

Formal methods research at SICS and KTH: an overview

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.

Abstract

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)
ID Code:2806
Deposited By:INVALID USER
Deposited On:13 Jun 2008
Last Modified:18 Nov 2009 16:14

Repository Staff Only: item control page