Cover von Can formal methods cope with software-intensive systems ? opens in new tab

Can formal methods cope with software-intensive systems ?

27.05. - 01.06.01, Seminar Nr. 01221
Search for this author
Year: 2001
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 308
Media group: DAGSTUHL-SEMINAR-REP
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: DSR 308 Location 2: ELECTRONIC EDITION Location 3: Status: reference collection

Details

Search for this author
Year: 2001
Publisher: Wadern-Dagstuhl, IBFI
opens in new tab
Search for this systematic
Search for this subject type
Series: Dagstuhl-Seminar-Report; 308
Participating parties: Search for this character Jähnichen, Stefan; Kramer, Jeff; Lemoine, Michel; Wirsing, Martin
Media group: DAGSTUHL-SEMINAR-REP