Introduction to the special issue of the 19th International Conference on Runtime Verification
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-2787
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Introduction to the special issue of the 19th International Conference on Runtime Verification ; day:21 ; month:5 ; year:2021 ; pages:1-2
International journal on software tools for technology transfer ; (21.5.2021), 1-2
- Creator
-
Finkbeiner, Bernd
Mariani, Leonardo
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10009-021-00621-3
- URN
-
urn:nbn:de:101:1-2021091910155164683821
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:25 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
- Finkbeiner, Bernd
- Mariani, Leonardo
- SpringerLink (Online service)
Other Objects (12)
Introduction to the Special Issue on Runtime Verification
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
Bridging the gap between single- and multi-model predictive runtime verification
Introduction to the Special Issue on Runtime Verification
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
Bridging the gap between single- and multi-model predictive runtime verification
Introduction to the Special Issue on Runtime Verification
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