Konferenzschrift | Kongress
Formal methods for industrial critical systems : 15th international workshop ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642158971
- Dimensions
-
24 cm
- Extent
-
XII, 230 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 6371
- Keyword
-
Softwareentwicklung
Zuverlässigkeit
Sicherheitskritisches System
Formale Methode
Systementwurf
Model Checking
Verifikation
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2010
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:34 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Kowalewski, Stefan
- FMICS (15 : 2010 : Antwerpen)
- Springer
Time of origin
- 2010
Other Objects (12)
Formal methods for industrial critical systems : 16th international workshop ; proceedings
Formal methods for industrial critical systems : 18th international workshop ; proceedings
Formal methods for industrial critical systems : 14th international workshop ; proceedings
Formal methods for industrial critical systems : 17th international workshop ; proceedings
Descriptional complexity of formal systems : 15th international workshop ; proceedings
Formal methods for industrial critical systems : 13th international workshop ; revised selected papers
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Formal Methods for Industrial Critical Systems
Computer science logic : 15th international workshop ; proceedings
Workshop on Operads : Osnabrück, June 15th - 19th
Combinatorial image analysis : 15th international workshop ; proceedings
Formal methods: foundations and applications : 15th Brazilian symposium ; proceedings
Formal methods for industrial critical systems : 16th international workshop ; proceedings
Formal methods for industrial critical systems : 18th international workshop ; proceedings
Formal methods for industrial critical systems : 14th international workshop ; proceedings
Formal methods for industrial critical systems : 17th international workshop ; proceedings
Descriptional complexity of formal systems : 15th international workshop ; proceedings
Formal methods for industrial critical systems : 13th international workshop ; revised selected papers
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Formal Methods for Industrial Critical Systems
Computer science logic : 15th international workshop ; proceedings
Workshop on Operads : Osnabrück, June 15th - 19th
Combinatorial image analysis : 15th international workshop ; proceedings
Formal methods: foundations and applications : 15th Brazilian symposium ; proceedings
Formal methods for industrial critical systems : 16th international workshop ; proceedings
Formal methods for industrial critical systems : 18th international workshop ; proceedings
Formal methods for industrial critical systems : 14th international workshop ; proceedings
Formal methods for industrial critical systems : 17th international workshop ; proceedings
Descriptional complexity of formal systems : 15th international workshop ; proceedings
Formal methods for industrial critical systems : 13th international workshop ; revised selected papers
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Formal Methods for Industrial Critical Systems
Computer science logic : 15th international workshop ; proceedings
Workshop on Operads : Osnabrück, June 15th - 19th
Combinatorial image analysis : 15th international workshop ; proceedings