Konferenzschrift | Kongress

Formal methods : foundations and applications : revised selected papers

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642104510
Dimensions
24 cm
Extent
X, 349 S.
Language
Englisch
Notes
graph. Darst.
Literaturangaben

Bibliographic citation
Lecture notes in computer science ; 5902

Keyword
Softwaretest
Programmverifikation
Formale Methode
Verifikation
Formale Methode
Sicherheitskritisches System
Interrupt
Formale Methode
Fehlertoleranz
Formale Methode
Model Checking

Event
Veröffentlichung
(where)
Berlin, Heidelberg, New York, NY
(who)
Springer
(when)
2009
Contributor
Oliveira, Marcel Vinícius Medeiros
Brazilian Symposium on Formal Methods (12 : 2009 : Gramado)

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.03.2025, 12:03 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Konferenzschrift
  • Kongress

Associated

  • Oliveira, Marcel Vinícius Medeiros
  • Brazilian Symposium on Formal Methods (12 : 2009 : Gramado)
  • Springer

Time of origin

  • 2009

Other Objects (12)

Formal methods: foundations and applications : revised selected papers

Konferenzschrift | Kongress

Formal methods: foundations and applications : revised selected papers

Formal methods: foundations and applications : 14th Brazilian symposium ; revised selected papers

Konferenzschrift | Kongress

Formal methods: foundations and applications : 14th Brazilian symposium ; revised selected papers

Foundations and applications of security analysis : revised selected papers

Konferenzschrift | Kongress

Foundations and applications of security analysis : revised selected papers

Formal grammar : 14th international conference ; revised selected papers

Konferenzschrift | Kongress

Formal grammar : 14th international conference ; revised selected papers

Foundations of genetic algorithms : 8th international workshop ; revised selected papers

Konferenzschrift | Kongress

Foundations of genetic algorithms : 8th international workshop ; revised selected papers

Foundations of genetic algorithms : 9th international workshop ; revised selected papers

Konferenzschrift | Kongress

Foundations of genetic algorithms : 9th international workshop ; revised selected papers

Foundations and practice of security : 5th international symposium ; revised selected papers

Konferenzschrift | Kongress

Foundations and practice of security : 5th international symposium ; revised selected papers

Formal grammar : 15th and 16th international conferences ; revised selected papers

Konferenzschrift | Kongress

Formal grammar : 15th and 16th international conferences ; revised selected papers

Formal verification of object-oriented software : international conference ; revised selected papers

Konferenzschrift | Kongress

Formal verification of object-oriented software : international conference ; revised selected papers

Formal aspects of component software : 9th international symposium ; revised selected papers

Konferenzschrift | Kongress

Formal aspects of component software : 9th international symposium ; revised selected papers

Building bridges: HCI, visualization, and non-formal modeling : revised selected papers

Konferenzschrift | Kongress

Building bridges: HCI, visualization, and non-formal modeling : revised selected papers

Web services and formal methods : 8th international workshop ; revised selected papers

Konferenzschrift | Kongress

Web services and formal methods : 8th international workshop ; revised selected papers

Related objects