- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-1367
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Runtime verification of real-time event streams under non-synchronized arrival ; volume:28 ; number:2 ; day:18 ; month:4 ; year:2020 ; pages:745-787 ; date:6.2020
Software quality journal ; 28, Heft 2 (18.4.2020), 745-787, 6.2020
- Creator
-
Leucker, Martin
Sánchez, César
Scheffel, Torben
Schmitz, Malte
Schramm, Alexander
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s11219-019-09493-y
- URN
-
urn:nbn:de:101:1-2020080720461476167531
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:50 AM 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.
Associated
- Leucker, Martin
- Sánchez, César
- Scheffel, Torben
- Schmitz, Malte
- Schramm, Alexander
- SpringerLink (Online service)
Other Objects (12)
Runtime verification : 7th international workshop
Runtime verification : first international conference ; proceedings
Runtime verification : 4th international conference ; proceedings
Towards runtime verification of programmable networks
Runtime verification : 9th international workshop ; selected papers
Runtime verification : 8th international workshop ; selected papers
Runtime verification : 07011 abstracts collection ; Dagstuhl seminar
Runtime verification for wireless sensor network applications
DRIVE : Dynamic Runtime Integrity Verification and Evaluation
Runtime verification of embedded real-time systems
Runtime verification : second international conference ; revised selected papers
Runtime verification : third international conference ; revised selected papers
Runtime verification : 7th international workshop
Runtime verification : first international conference ; proceedings
Runtime verification : 4th international conference ; proceedings
Towards runtime verification of programmable networks
Runtime verification : 9th international workshop ; selected papers
Runtime verification : 8th international workshop ; selected papers
Runtime verification : 07011 abstracts collection ; Dagstuhl seminar
Runtime verification for wireless sensor network applications
DRIVE : Dynamic Runtime Integrity Verification and Evaluation
Runtime verification of embedded real-time systems
Runtime verification : second international conference ; revised selected papers
Runtime verification : third international conference ; revised selected papers
Runtime verification : 7th international workshop
Runtime verification : first international conference ; proceedings
Runtime verification : 4th international conference ; proceedings
Towards runtime verification of programmable networks
Runtime verification : 9th international workshop ; selected papers
Runtime verification : 8th international workshop ; selected papers
Runtime verification : 07011 abstracts collection ; Dagstuhl seminar
Runtime verification for wireless sensor network applications
DRIVE : Dynamic Runtime Integrity Verification and Evaluation
Runtime verification of embedded real-time systems
Runtime verification : second international conference ; revised selected papers