- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540773948
3540773940
- Dimensions
-
24 cm
- Extent
-
VIII, 213 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 4839
- Keyword
-
Laufzeitsystem
Verifikation
Softwaretest
Formale Methode
Softwareentwicklung
Softwaretest
Korrektheit
Beweis
Software
Model Checking
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2007
- Contributor
-
Sokolsky, Oleg
International Workshop on Runtime Verification (7 : 2007 : Vancouver, British Columbia)
- 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:05 PM CET
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
- Sokolsky, Oleg
- International Workshop on Runtime Verification (7 : 2007 : Vancouver, British Columbia)
- Springer
Time of origin
- 2007
Other Objects (12)
Runtime verification : 4th international conference ; proceedings
Interactive systems : design, specification, and verification ; 7th international workshop ; revised papers
Runtime verification : third international conference ; revised selected papers
Runtime verification : second international conference ; revised selected papers
Runtime verification : 8th international workshop ; selected papers
Runtime verification : 9th international workshop ; selected papers
Computer aided verification : 7th international conference ; proceedings
Formal approaches to software testing and runtime verification : revised selected papers
Automated technology for verification and analysis : 7th international symposium ; proceedings
Verification, model checking, and abstract interpretation : 7th international conference ; proceedings
Distributed algorithms : 7th international workshop ; proceedings
Hybrid metaheuristics : 7th international workshop ; proceedings
Runtime verification : 4th international conference ; proceedings
Interactive systems : design, specification, and verification ; 7th international workshop ; revised papers
Runtime verification : third international conference ; revised selected papers
Runtime verification : second international conference ; revised selected papers
Runtime verification : 8th international workshop ; selected papers
Runtime verification : 9th international workshop ; selected papers
Computer aided verification : 7th international conference ; proceedings
Formal approaches to software testing and runtime verification : revised selected papers
Automated technology for verification and analysis : 7th international symposium ; proceedings
Verification, model checking, and abstract interpretation : 7th international conference ; proceedings
Distributed algorithms : 7th international workshop ; proceedings
Hybrid metaheuristics : 7th international workshop ; proceedings
Runtime verification : 4th international conference ; proceedings
Interactive systems : design, specification, and verification ; 7th international workshop ; revised papers
Runtime verification : third international conference ; revised selected papers
Runtime verification : second international conference ; revised selected papers
Runtime verification : 8th international workshop ; selected papers
Runtime verification : 9th international workshop ; selected papers
Computer aided verification : 7th international conference ; proceedings
Formal approaches to software testing and runtime verification : revised selected papers
Automated technology for verification and analysis : 7th international symposium ; proceedings
Verification, model checking, and abstract interpretation : 7th international conference ; proceedings
Distributed algorithms : 7th international workshop ; proceedings