Titel |
Formal methods for industrial critical systems : 14th international workshop ; proceedings / FMICS 2009, Eindhoven, The Netherlands, November 2 - 3, 2009. María Alpuente ... (ed.) |
|---|---|
Beteiligt |
María Alpuente (Mitwirkender) |
Erschienen |
Berlin, Heidelberg: Springer |
Umfang |
Online-Ressource |
ISBN |
978-3-642-04570-7 |
Sprache |
|
Land |
|
Themengebiet |
|
Thema |
Softwareentwicklung, Zuverlässigkeit, Fehlertoleranz, Formale Methode, Kongress <2009>, Online-Publikation
Programmverifikation, Softwarespezifikation, Formale Methode, Zuverlässigkeit, Kongress <2009>, Online-Publikation Sicherheitskritisches System, Eingebettetes System, Softwareentwicklung, Zuverlässigkeit, Kongress <2009>, Online-Publikation Systementwurf, Model Checking, Verifikation, Formale Methode, Kongress <2009>, Online-Publikation
Softwareentwicklung, Zuverlässigkeit, Fehlertoleranz, Formale Methode, Kongress, Eindhoven <2009>
Programmverifikation, Softwarespezifikation, Formale Methode, Zuverlässigkeit, Kongress, Eindhoven <2009> Sicherheitskritisches System, Eingebettetes System, Softwareentwicklung, Zuverlässigkeit, Kongress, Eindhoven <2009> Systementwurf, Model Checking, Verifikation, Formale Methode, Kongress, Eindhoven <2009> |
DDC-Notation |
|
Reihe |
Lecture notes in computer science ; Vol. 5825 |
Andere Ausgaben |
Erscheint auch als Druck-Ausgabe: Formal methods for industrial critical systems : 14th international workshop ; proceedings |
Persistent Identifier |
urn:nbn:de:1111-2009112792 (URN) |
Weitere Angaben |
Lizenzpflichtig |
Datensatz-ID |
998686751 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: