Zum Hauptinhalt springen
English
Deutsch
Anmelden
Anmelden mit TU-ID
Keine TU-ID? Klicken Sie hier für mehr Informationen.
Startseite
Publikationen
Publikationen der Technischen Universität Darmstadt
Erstveröffentlichungen
Counterexample Generation for Formal Verification of ABS
Details
2021
Erstveröffentlichung
Bachelorarbeit
Verlagsversion
Counterexample Generation for Formal Verification of ABS
File(s)
Download
Hauptpublikation
CEG for ABS.pdf
CC BY 4.0 International
Format:
Adobe PDF
Size:
1.47 MB
TUDa URI
tuda/6962
URN
urn:nbn:de:tuda-tuprints-178566
DOI
10.26083/tuprints-00017856
Autor:innen
Rollshausen, Nils
Sprache
Englisch
Fachbereich/-gebiet
20 Fachbereich Informatik > Software Engineering
DDC
000 Allgemeines, Informatik, Informationswissenschaft > 004 Informatik
Institution
Technische Universität Darmstadt
Ort
Darmstadt
Name der Gradverleihenden Institution
Technische Universität Darmstadt
Ort der Gradverleihenden Institution
Darmstadt
PPN
479586136
