Title |
Formal methods for industrial critical systems : 14th international workshop ; proceedings / FMICS 2009, Eindhoven, The Netherlands, November 2 - 3, 2009. María Alpuente ... (ed.) |
|---|---|
Involved |
María Alpuente (Mitwirkender) |
Published |
Berlin, Heidelberg: Springer |
Extent |
Online-Ressource |
ISBN |
978-3-642-04570-7 |
Language |
|
Country |
|
Topic |
|
Subject |
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 |
|
Series |
Lecture notes in computer science ; Vol. 5825 |
Other editions |
Erscheint auch als Druck-Ausgabe: Formal methods for industrial critical systems : 14th international workshop ; proceedings |
Persistent identifier |
urn:nbn:de:1111-2009112792 (URN) |
Further information |
Lizenzpflichtig |
Record ID |
998686751 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: