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

Medientyp: Buch; Konferenzbericht

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

Beteiligte: Alpuente, María [Hrsg.]; Cook, Byron [Sonstige Person, Familie und Körperschaft]; Joubert, Christophe [Sonstige Person, Familie und Körperschaft]

Veranstaltung: FMICS

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

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

Sprache: Englisch

ISBN: 3642045693; 9783642045691

Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 12761746

RVK-Notation: SS 4800 : Lecture notes in computer science

Schlagwörter: 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

Entstehung:

Anmerkungen: Literaturangaben

Weitere Bestandsnachweise
0 : Lecture notes in computer science

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

Merkliste

Exemplare

Bereichsbibliothek DrePunct – Magazin

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Bereichsbibliothek DrePunct – Magazin