Konferenzschrift | Kongress 2010
Runtime verification : first international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642166112
- Dimensions
-
24 cm
- Extent
-
XIII, 492 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 6418
- 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)
-
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:31 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
- Barringer, Howard
- Roşu, Grigore
- Sokolsky, Oleg
- RV (1 : 2010 : Saint Julian's)
- Springer
Time of origin
- 2010
Other Objects (12)
Runtime verification : 4th international conference ; proceedings
Runtime verification : third international conference ; revised selected papers
Runtime verification : second international conference ; revised selected papers
Runtime verification : 7th international workshop
Towards runtime verification of programmable networks
Runtime verification : 8th international 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
Discourje: Runtime Verification of Communication Protocols in Clojure
Runtime Verification Using a Temporal Description Logic Revisited
Runtime verification : 4th international conference ; proceedings
Runtime verification : third international conference ; revised selected papers
Runtime verification : second international conference ; revised selected papers
Runtime verification : 7th international workshop
Towards runtime verification of programmable networks
Runtime verification : 8th international 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
Discourje: Runtime Verification of Communication Protocols in Clojure
Runtime Verification Using a Temporal Description Logic Revisited
Runtime verification : 4th international conference ; proceedings
Runtime verification : third international conference ; revised selected papers
Runtime verification : second international conference ; revised selected papers
Runtime verification : 7th international workshop
Towards runtime verification of programmable networks
Runtime verification : 8th international 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
Discourje: Runtime Verification of Communication Protocols in Clojure