Rollshausen, Nils (2021)
Counterexample Generation for Formal Verification of ABS.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00017856
Bachelorarbeit, Erstveröffentlichung, Verlagsversion
URL / URN: https://tuprints.ulb.tu-darmstadt.de/17856
| Typ des Eintrags: | Bachelorarbeit |
|---|---|
| Erschienen: | 2021 |
| Autor(en): | Rollshausen, Nils |
| Art des Eintrags: | Erstveröffentlichung |
| Titel: | Counterexample Generation for Formal Verification of ABS |
| Sprache: | Englisch |
| Publikationsjahr: | Mai 2021 |
| Ort: | Darmstadt |
| Kollation: | 52 Seiten |
| DOI: | 10.26083/tuprints-00017856 |
| URL / URN: | https://tuprints.ulb.tu-darmstadt.de/17856 |
| Status: | Verlagsversion |
| URN: | urn:nbn:de:tuda-tuprints-178566 |
| Sachgruppe der Dewey Dezimalklassifikatin (DDC): | 000 Allgemeines, Informatik, Informationswissenschaft > 004 Informatik |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Software Engineering |
| Hinterlegungsdatum: | 17 Mai 2021 13:59 |
| Letzte Änderung: | 25 Mai 2021 08:26 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum