Archived
1
Fork 0
PhD thesis on: Nominal Techniques and Black Box Testing for Automata Learning https://joshuamoerman.nl/thesis/
This repository has been archived on 2025-04-09. You can view files and clone it, but cannot push or open issues or pull requests.
Find a file
2020-11-16 16:18:35 +01:00
content PDFA version. Colour version. Tagged version did not work well 2019-05-31 11:26:43 +02:00
content-other Laatste tweakjes bij het dankwoord 2019-05-30 13:32:55 +02:00
data References for sep seqs 2018-09-21 14:50:10 +02:00
environment PDFA version. Colour version. Tagged version did not work well 2019-05-31 11:26:43 +02:00
images Nog meer front en back matter 2019-05-20 22:47:01 +02:00
talk Adds last things to repo 2019-09-20 09:26:22 +02:00
.gitignore Initial commit 2018-07-31 10:21:20 +02:00
biblio-eigen.bib Biblio 2019-05-24 12:59:33 +02:00
biblio-web.bib Ack + Summary. En nog wat kleine typos. 2019-05-29 21:35:05 +02:00
biblio.bib Biblio 2019-05-24 12:59:33 +02:00
boekenlegger.pdf Final print version 2019-05-30 12:26:37 +02:00
boekenlegger.svg Final print version 2019-05-30 12:26:37 +02:00
content.tex PDFA version. Colour version. Tagged version did not work well 2019-05-31 11:26:43 +02:00
cover.pdf Final print version 2019-05-30 12:26:37 +02:00
cover.svg Final print version 2019-05-30 12:26:37 +02:00
environment.tex Added final pdfs 2019-05-31 11:30:02 +02:00
README.md Initial commit 2018-07-31 10:21:20 +02:00
stellingen.pdf pdf of stellingen added 2020-11-16 16:18:35 +01:00
stellingen.tex Adds last things to repo 2019-09-20 09:26:22 +02:00
Thesis Joshua Moerman - Nominal Techniques and Black Box Testing for Automata Learning 2019 - online PDFA.pdf Added final pdfs 2019-05-31 11:30:02 +02:00
Thesis Joshua Moerman - Nominal Techniques and Black Box Testing for Automata Learning 2019 - online.pdf Added final pdfs 2019-05-31 11:30:02 +02:00
Thesis Joshua Moerman - Nominal Techniques and Black Box Testing for Automata Learning 2019 - print.pdf Added final pdfs 2019-05-31 11:30:02 +02:00
thesis.tex Started with Learning Nom. Aut.. Adds biblio. Bit on algorithms typesetting. 2018-08-02 17:54:28 +02:00

Thesis

Self-explanatory!