First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-2787
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 ; day:7 ; month:4 ; year:2017 ; pages:1-40
International journal on software tools for technology transfer ; (7.4.2017), 1-40
- Classification
-
Informatik
- Creator
-
Bartocci, Ezio
- Contributor
-
Falcone, Yliès
Bonakdarpour, Borzoo
Colombo, Christian
Decker, Normann
Havelund, Klaus
Joshi, Yogi
Klaedtke, Felix
Milewicz, Reed
Reger, Giles
Rosu, Grigore
Signoles, Julien
Thoma, Daniel
Zălinescu, Eugen
Zhang, Yi
SpringerLink (Online service)
- DOI
-
10.1007/s10009-017-0454-5
- URN
-
urn:nbn:de:1111-201704237150
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:59 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
- Bartocci, Ezio
- Falcone, Yliès
- Bonakdarpour, Borzoo
- Colombo, Christian
- Decker, Normann
- Havelund, Klaus
- Joshi, Yogi
- Klaedtke, Felix
- Milewicz, Reed
- Reger, Giles
- Rosu, Grigore
- Signoles, Julien
- Thoma, Daniel
- Zălinescu, Eugen
- Zhang, Yi
- SpringerLink (Online service)
Other Objects (12)
Social class differences in consumption propensity in contemporary China – from survival-oriented consumption to development-oriented consumption
Practising and displaying xiao—young mothers’ negotiations of obligations to elders
The Enigmatic Roles of PPR‐SMR Proteins in Plants
Structure of the Sediment and Crust in the Northeast North China Craton from Improved Sequential H-k Stacking Method
Runtime verification : 7th international workshop
How Good Am I? Effects and Mechanisms behind Salient Ranks
CBP/p300 and HDAC activities regulate H3K27 acetylation dynamics and zygotic genome activation in mouse preimplantation embryos
How Good Am I? Effects and Mechanisms behind Salient Ranks
On the train to brain gain in rural China
Robust likelihood ratio tests for incomplete economic models
Inhibition of breast cancer cell proliferation and tumorigenesis by long non-coding RNA RPPH1 down-regulation of miR-122 expression
Tumor-associated macrophages: from basic research to clinical application
Social class differences in consumption propensity in contemporary China – from survival-oriented consumption to development-oriented consumption
Practising and displaying xiao—young mothers’ negotiations of obligations to elders
The Enigmatic Roles of PPR‐SMR Proteins in Plants
Structure of the Sediment and Crust in the Northeast North China Craton from Improved Sequential H-k Stacking Method
Runtime verification : 7th international workshop
How Good Am I? Effects and Mechanisms behind Salient Ranks
CBP/p300 and HDAC activities regulate H3K27 acetylation dynamics and zygotic genome activation in mouse preimplantation embryos
How Good Am I? Effects and Mechanisms behind Salient Ranks
On the train to brain gain in rural China
Robust likelihood ratio tests for incomplete economic models
Inhibition of breast cancer cell proliferation and tumorigenesis by long non-coding RNA RPPH1 down-regulation of miR-122 expression
Tumor-associated macrophages: from basic research to clinical application
Social class differences in consumption propensity in contemporary China – from survival-oriented consumption to development-oriented consumption
Practising and displaying xiao—young mothers’ negotiations of obligations to elders
The Enigmatic Roles of PPR‐SMR Proteins in Plants
Structure of the Sediment and Crust in the Northeast North China Craton from Improved Sequential H-k Stacking Method
Runtime verification : 7th international workshop
How Good Am I? Effects and Mechanisms behind Salient Ranks
CBP/p300 and HDAC activities regulate H3K27 acetylation dynamics and zygotic genome activation in mouse preimplantation embryos
How Good Am I? Effects and Mechanisms behind Salient Ranks
On the train to brain gain in rural China
Robust likelihood ratio tests for incomplete economic models
Inhibition of breast cancer cell proliferation and tumorigenesis by long non-coding RNA RPPH1 down-regulation of miR-122 expression