- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8102
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Empirical software metrics for benchmarking of verification tools ; day:10 ; month:1 ; year:2017 ; pages:1-28
Formal methods in system design ; (10.1.2017), 1-28
- Classification
-
Informatik
- Creator
-
Demyanova, Yulia
- Contributor
- DOI
-
10.1007/s10703-016-0264-5
- URN
-
urn:nbn:de:1111-201702092850
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:57 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
- Demyanova, Yulia
- Pani, Thomas
- Veith, Helmut
- Zuleger, Florian
- SpringerLink (Online service)
Other Objects (12)
BMR: Benchmarking Metrics Recommender for Personnel issues in Software Development Projects
Metrics in software evolution
Metrics for process models : empirical foundations of verification, error prediction, and guidelines for correctness
Design and Verification of Video Quality Metrics
Literature review on software metrics
Models and software metrics : [abstract]
Copula-based software metrics aggregation
Cardinalities in Software Verification
Software metrics : research and practice in software measurement
Software security metrics for malware resilience
Verification-based software-fault detection
Verification-based software-fault detection
BMR: Benchmarking Metrics Recommender for Personnel issues in Software Development Projects
Metrics in software evolution
Metrics for process models : empirical foundations of verification, error prediction, and guidelines for correctness
Design and Verification of Video Quality Metrics
Literature review on software metrics
Models and software metrics : [abstract]
Copula-based software metrics aggregation
Cardinalities in Software Verification
Software metrics : research and practice in software measurement
Software security metrics for malware resilience
Verification-based software-fault detection
Verification-based software-fault detection
BMR: Benchmarking Metrics Recommender for Personnel issues in Software Development Projects
Metrics in software evolution
Metrics for process models : empirical foundations of verification, error prediction, and guidelines for correctness
Design and Verification of Video Quality Metrics
Literature review on software metrics
Models and software metrics : [abstract]
Copula-based software metrics aggregation
Cardinalities in Software Verification
Software metrics : research and practice in software measurement
Software security metrics for malware resilience
Verification-based software-fault detection