Konferenzschrift | Kongress | Kongress <2008>
Formal methods for industrial critical systems : 13th international workshop ; revised selected papers
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642032394
- Maße
-
24 cm
- Umfang
-
X, 231 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; 5596
- Schlagwort
-
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
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
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, NY
- (wer)
-
Springer
- (wann)
-
2009
- Beteiligte Personen und Organisationen
-
Cofer, Darren
FMICS (13 : 2008 : L'Aquila)
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:33 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
- Kongress
- Kongress <2008>
Beteiligte
- Cofer, Darren
- FMICS (13 : 2008 : L'Aquila)
- Springer
Entstanden
- 2009
Ähnliche Objekte (12)
Membrane computing : 13th international conference ; revised selected papers
Information hiding : 13th international conference ; revised selected papers
Information security : 13th international conference ; revised selected papers
Chinese lexical semantics : 13th workshop ; revised selected papers
Fast software encryption : 13th international workshop ; revised selected papers
Enterprise information systems : 13th international conference ; revised selected papers
Information security applications : 13th international workshop ; revised selected papers
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Information security and cryptology : 13th international conference ; revised selected papers
Advances in computer games : 13th international conference ; revised selected papers
Virtual systems and multimedia : 13th international conference ; revised selected papers
Trends in functional programming : 13th international symposium ; revised selected papers
Membrane computing : 13th international conference ; revised selected papers
Information hiding : 13th international conference ; revised selected papers
Information security : 13th international conference ; revised selected papers
Chinese lexical semantics : 13th workshop ; revised selected papers
Fast software encryption : 13th international workshop ; revised selected papers
Enterprise information systems : 13th international conference ; revised selected papers
Information security applications : 13th international workshop ; revised selected papers
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Information security and cryptology : 13th international conference ; revised selected papers
Advances in computer games : 13th international conference ; revised selected papers
Virtual systems and multimedia : 13th international conference ; revised selected papers
Trends in functional programming : 13th international symposium ; revised selected papers
Membrane computing : 13th international conference ; revised selected papers
Information hiding : 13th international conference ; revised selected papers
Information security : 13th international conference ; revised selected papers
Chinese lexical semantics : 13th workshop ; revised selected papers
Fast software encryption : 13th international workshop ; revised selected papers
Enterprise information systems : 13th international conference ; revised selected papers
Information security applications : 13th international workshop ; revised selected papers
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Information security and cryptology : 13th international conference ; revised selected papers
Advances in computer games : 13th international conference ; revised selected papers
Virtual systems and multimedia : 13th international conference ; revised selected papers