Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin, Germany, July 1 - 2, 2007 ; revised selected papers
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin, Heidelberg u.a.
Springer
2008
|
| Schriftenreihe: | Lecture notes in computer science
4916 |
| Schlagworte: |
Formal methods (Computer science)
> Software engineering
> Computer programs
> Verification
> Konferenzschrift
> Softwareentwicklung
> Zuverlässigkeit
> Fehlertoleranz
> Formale Methode
> Programmverifikation
> Softwarespezifikation
> Sicherheitskritisches System
> Eingebettetes System
> Systementwurf
> Model Checking
> Verifikation
|
| Online Zugang: | Inhaltsverzeichnis Verlagsangaben Cover |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen 
| Beschreibung: | Literaturangaben |
|---|---|
| Beschreibung: | X, 250 S. Ill., graph. Darst. 235 mm x 155 mm |
| ISBN: | 3540797068 3-540-79706-8 9783540797067 978-3-540-79706-7 |