- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8102
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
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
- Klassifikation
-
Informatik
- Urheber
-
Demyanova, Yulia
- Beteiligte Personen und Organisationen
- DOI
-
10.1007/s10703-016-0264-5
- URN
-
urn:nbn:de:1111-201702092850
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:57 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Demyanova, Yulia
- Pani, Thomas
- Veith, Helmut
- Zuleger, Florian
- SpringerLink (Online service)
Ähnliche Objekte (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