- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: 10.1007/978-3-030-17462-0_20
In: Tools and Algorithms for the Construction and Analysis of Systems , TACAS
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2019
- Creator
- DOI
-
10.18154/RWTH-2019-03442
- URN
-
urn:nbn:de:101:1-2019090508491304131480
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:36 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
- Hartmanns, Arnd
- Klauck, Michaela
- Parker, David
- Quatmann, Tim
- Ruijters, Enno
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2019
Other Objects (12)
The benchmark set for slopes generalization
Implementation and verification of global optimization benchmark problems
Verification of the Code DYN3D/R with the Help of International Benchmarks
A benchmark approach to quantitative finance
Task-set generator for schedulability analysis using the TACLebench benchmark suite
Task-set generator for schedulability analysis using the TACLeBench benchmark suite
A synthetic data set to benchmark anti-money laundering methods
Case mix classification and a benchmark set for surgery scheduling
Quantitative Modeling and Verification of Evolving Software
Quantitative methods for active portfolio management : can we beat the benchmark?
A benchmark data set for in silico prediction of ames mutagenicity
tTEM20AAR: a benchmark geophysical data set for unconsolidated fluvioglacial sediments
The benchmark set for slopes generalization
Implementation and verification of global optimization benchmark problems
Verification of the Code DYN3D/R with the Help of International Benchmarks
A benchmark approach to quantitative finance
Task-set generator for schedulability analysis using the TACLebench benchmark suite
Task-set generator for schedulability analysis using the TACLeBench benchmark suite
A synthetic data set to benchmark anti-money laundering methods
Case mix classification and a benchmark set for surgery scheduling
Quantitative Modeling and Verification of Evolving Software
Quantitative methods for active portfolio management : can we beat the benchmark?
A benchmark data set for in silico prediction of ames mutagenicity
tTEM20AAR: a benchmark geophysical data set for unconsolidated fluvioglacial sediments
The benchmark set for slopes generalization
Implementation and verification of global optimization benchmark problems
Verification of the Code DYN3D/R with the Help of International Benchmarks
A benchmark approach to quantitative finance
Task-set generator for schedulability analysis using the TACLebench benchmark suite
Task-set generator for schedulability analysis using the TACLeBench benchmark suite
A synthetic data set to benchmark anti-money laundering methods
Case mix classification and a benchmark set for surgery scheduling
Quantitative Modeling and Verification of Evolving Software
Quantitative methods for active portfolio management : can we beat the benchmark?
A benchmark data set for in silico prediction of ames mutagenicity