Konferenzschrift | Kongress
Runtime verification : second international conference ; revised selected papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642298592
3642298591
- Dimensions
-
24 cm
- Extent
-
XII, 458 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 7186
- Keyword
-
Systemanalyse
Computerarchitektur
Laufzeitsystem
Hardwareverifikation
Formale Methode
Programmanalyse
Softwarearchitektur
Programmlaufzeit
Programmverifikation
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2012
- Contributor
-
Khurshid, Sarfraz
Sen, Koushik
RV (2 : 2011 : San Francisco, Calif.)
- 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:17 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
- Khurshid, Sarfraz
- Sen, Koushik
- RV (2 : 2011 : San Francisco, Calif.)
- Springer
Time of origin
- 2012
Other Objects (12)
Runtime verification : third international conference ; revised selected papers
Formal approaches to software testing and runtime verification : revised selected papers
Runtime verification : 8th international workshop ; selected papers
Runtime verification : 9th international workshop ; selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software: verification and testing : revised selected papers
Hardware and software, verification and testing : revised selected papers
Hardware and software: verification and testing : revised selected papers
Formal verification of object-oriented software : international conference ; revised selected papers
Formal verification of object-oriented software : international conference ; revised selected papers
Runtime verification : 7th international workshop
Runtime verification : third international conference ; revised selected papers
Formal approaches to software testing and runtime verification : revised selected papers
Runtime verification : 8th international workshop ; selected papers
Runtime verification : 9th international workshop ; selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software: verification and testing : revised selected papers
Hardware and software, verification and testing : revised selected papers
Hardware and software: verification and testing : revised selected papers
Formal verification of object-oriented software : international conference ; revised selected papers
Formal verification of object-oriented software : international conference ; revised selected papers
Runtime verification : 7th international workshop
Runtime verification : third international conference ; revised selected papers
Formal approaches to software testing and runtime verification : revised selected papers
Runtime verification : 8th international workshop ; selected papers
Runtime verification : 9th international workshop ; selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software : verification and testing ; revised selected papers
Hardware and software: verification and testing : revised selected papers
Hardware and software, verification and testing : revised selected papers
Hardware and software: verification and testing : revised selected papers
Formal verification of object-oriented software : international conference ; revised selected papers
Formal verification of object-oriented software : international conference ; revised selected papers