Model-based testing for software safety: a systematic mapping study
Gurbuz, Havva Gulay ; Tekinerdogan, Bedir
- Link zu diesem Datensatz
- https://d-nb.info/1145086217
- Titel
- Model-based testing for software safety: a systematic mapping study
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- by Havva Gulay Gurbuz, Bedir Tekinerdogan
- Autor(en)
-
- Gurbuz, Havva Gulay
- Tekinerdogan, Bedir
- Organisation(en)
-
- SpringerLink (Online service)
- Zeitliche Einordnung
- Erscheinungsdatum: 2017
- Umfang/Format
- Online-Ressource
- ISSN
15731367- DOI
- 10.1007/s11219-017-9386-2
- Online
- https://doi.org/10.1007/s11219-017-9386-2
- Sprache
- eng
- Schlagwörter
-
- (lcsh)Computer science.
- (lcsh)Software engineering.
- (lcsh)Programming languages (Electronic computers).
- (lcsh)Operating systems (Computers).
- (lcsh)Data structures (Computer science).
- Computer Science.
- Software Engineering/Programming and Operating Systems.
- Programming Languages, Compilers, Interpreters.
- Data Structures, Cryptology and Information Theory.
- Operating Systems.
- Frühere/spätere Titel
-
- Enthalten in: Software quality journal
- Enthalten in: Software quality journal
- Enthalten in: Software quality journal
- Stand
- 21.02.2020 18:28
- Im Katalog seit
- 06.03.2026