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
