Konferenzschrift | Kongress 2010
Runtime verification : 8th international workshop ; selected papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540892465
- Dimensions
-
24 cm
- Extent
-
187 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 5289
- Keyword
-
Systemanalyse
Computerarchitektur
Laufzeitsystem
Hardwareverifikation
Formale Methode
Programmanalyse
Softwarearchitektur
Programmlaufzeit
Programmverifikation
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2008
- 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, 2:08 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 2010
Associated
- Leucker, Martin
- RV (8 : 2008 : Budapest)
- Springer
Time of origin
- 2008
Other Objects (12)
Runtime verification : 9th international workshop ; selected papers
Runtime verification : third international conference ; revised selected papers
Runtime verification : second international conference ; revised selected papers
Formal approaches to software testing and runtime verification : revised selected papers
Runtime verification : 7th international workshop
Towards runtime verification of programmable networks
Runtime verification : 4th international conference ; proceedings
Runtime verification : first international conference ; proceedings
Computer science logic : 8th workshop ; selected papers
Runtime verification for wireless sensor network applications
DRIVE : Dynamic Runtime Integrity Verification and Evaluation
Runtime verification : 07011 abstracts collection ; Dagstuhl seminar
Runtime verification : 9th international workshop ; selected papers
Runtime verification : third international conference ; revised selected papers
Runtime verification : second international conference ; revised selected papers
Formal approaches to software testing and runtime verification : revised selected papers
Runtime verification : 7th international workshop
Towards runtime verification of programmable networks
Runtime verification : 4th international conference ; proceedings
Runtime verification : first international conference ; proceedings
Computer science logic : 8th workshop ; selected papers
Runtime verification for wireless sensor network applications
DRIVE : Dynamic Runtime Integrity Verification and Evaluation
Runtime verification : 07011 abstracts collection ; Dagstuhl seminar
Runtime verification : 9th international workshop ; selected papers
Runtime verification : third international conference ; revised selected papers
Runtime verification : second international conference ; revised selected papers
Formal approaches to software testing and runtime verification : revised selected papers
Runtime verification : 7th international workshop
Towards runtime verification of programmable networks
Runtime verification : 4th international conference ; proceedings
Runtime verification : first international conference ; proceedings
Computer science logic : 8th workshop ; selected papers
Runtime verification for wireless sensor network applications
DRIVE : Dynamic Runtime Integrity Verification and Evaluation