Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Record link:
http://hdl.handle.net/20.500.12708/85158
-
Title:
How did you specify your test suite?
-
Citation:
Veith, H. (2011).
How did you specify your test suite?
Alpine Verification Meeting, IST Austria, Austria. http://hdl.handle.net/20.500.12708/85158
-
Publication Type:
Presentation - Conference presentation
en
Authors:
Veith, Helmut
-
Organisational Unit:
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Date (published):
2011
-
Event name:
Alpine Verification Meeting
-
Event date:
14-Mar-2011
-
Event place:
IST Austria, Austria
-
Science Branch:
Mathematik, Informatik
-
Appears in Collections:
Presentation
Show full item record
Page view(s)
116
checked on Nov 23, 2023
Google Scholar
TM
Check