TU Darmstadt / ULB / TUbiblio

Testing abstract behavioral specifications

Wong, Peter Y. H. and Bubel, Richard and de Boer, Frank S. and Gomez-Zamalloa, Miguel and de Gouw, Stijn and Hähnle, Reiner and Meinke, Karl and Sindhu, Muddassar Azam (2015):
Testing abstract behavioral specifications.
17, In: STTT, (1), pp. 107-119, DOI: 10.1007/s10009-014-0301-x,
[Online-Edition: https://doi.org/10.1007/s10009-014-0301-x],
[Article]

Item Type: Article
Erschienen: 2015
Creators: Wong, Peter Y. H. and Bubel, Richard and de Boer, Frank S. and Gomez-Zamalloa, Miguel and de Gouw, Stijn and Hähnle, Reiner and Meinke, Karl and Sindhu, Muddassar Azam
Title: Testing abstract behavioral specifications
Language: German
Journal or Publication Title: STTT
Volume: 17
Number: 1
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 27 Apr 2018 10:48
DOI: 10.1007/s10009-014-0301-x
Official URL: https://doi.org/10.1007/s10009-014-0301-x
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item