Formal methods for industrial critical systems: 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings

Media type: Book; Conference Proceedings

Title: Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings

Contributor: Alpuente, María [Editor]; Cook, Byron [Other]; Joubert, Christophe [Other]

Event: FMICS

Published: Berlin; Heidelberg [u.a.]: Springer, 2009

Extent: X, 212 S.; Ill; 235 mm x 155 mm

Language: English

ISBN: 3642045693; 9783642045691

Publisher, production or purchase order numbers: Sonstige Nummer: 12761746

RVK notation: SS 4800 : Lecture notes in computer science

Keywords: Softwareentwicklung > Zuverlässigkeit > Fehlertoleranz > Formale Methode
Programmverifikation > Softwarespezifikation > Formale Methode > Zuverlässigkeit
Sicherheitskritisches System > Eingebettetes System > Softwareentwicklung > Zuverlässigkeit
Systementwurf > Model Checking > Verifikation > Formale Methode

Origination:

Footnote: Literaturangaben

Formal methods for industrial critical systems

Bookmarks

copies

Departmental Library DrePunct – stack

Search in field:

Recently searched for:

Departmental Library DrePunct – stack