Formal methods for industrial critical systems 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers /
This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2008, held in L'Aquila, Italy, in September 2008 - colocated with ASE 2008, the 23rd International Conference on Automated Software...
| Corporate Authors: | International Workshop on Formal Methods for Industrial Critical Systems L'Aquila, Italy) |
|---|---|
| Other Authors: | International Workshop on Formal Methods for Industrial Critical Systems, Cofer, Darren., Fantechi, Alessandro., SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin :
Springer,
©2009.
Berlin : [2009] |
| Physical Description: |
1 online resource (x, 231 pages) : illustrations (some color). |
| Series: |
Lecture notes in computer science ;
5596. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |