Logo des Repositoriums
  • English
  • Deutsch
Anmelden
Keine TU-ID? Klicken Sie hier für mehr Informationen.
  1. Startseite
  2. Publikationen
  3. Publikationen der Technischen Universität Darmstadt
  4. Erstveröffentlichungen
  5. A Precise Specification Framework for White Box Program Testing
 
  • Details
2009
Erstveröffentlichung
Report

A Precise Specification Framework for White Box Program Testing

File(s)
Download
Hauptpublikation
TUD-CS-2009-0148_A_Precise_Specification_Framework_tRdhnX-2_.pdf
CC BY-NC-ND 2.5 Generic
Format: Adobe PDF
Size: 313.94 KB
TUDa URI
tuda/1259
URN
urn:nbn:de:tuda-tuprints-19196
DOI
10.26083/tuprints-00001919
Autor:innen
Holzer, Andreas
Schallhart, Christian
Tautschnig, Michael
Veith, Helmut
Sprache
Englisch
Fachbereich/-gebiet
20 Fachbereich Informatik
20 Fachbereich Informatik > Formal Methods in System Engineering
DDC
000 Allgemeines, Informatik, Informationswissenschaft > 004 Informatik
Institution
Universitäts- und Landesbibliothek Darmstadt
Ort
Darmstadt
PPN
385156480
TUDa ID
TUD-CS-2009-0148

  • TUprints Leitlinien
  • Cookie-Einstellungen
  • Impressum
  • Datenschutzbestimmungen
  • Webseitenanalyse
Diese Webseite wird von der Universitäts- und Landesbibliothek Darmstadt (ULB) betrieben.