Cover von Special issue on formal methods for industrial critical systems; 3 opens in new tab

Special issue on formal methods for industrial critical systems; 3

S. 195 - 306
Search for this author
Year: 2003
Publisher: Amsterdam, Elsevier
Count: 3
Media group: SPECIAL ISSUE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: Journals Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

International workshop on formal methods for industrial critical systems <5, Berlin, 2002>

Details

Search for this author
Year: 2003
Publisher: Amsterdam, Elsevier
opens in new tab
Search for this systematic
Search for this subject type
Volume: 46
Count: 3
Participating parties: Search for this character Garavel, Hubert; Gnesi, Stefania; Schieferdecker, Ina
Parallel title: FMICS 2002
Media group: SPECIAL ISSUE