The paper on learning SSH which we hope to submit at http://conf.researchr.org/home/spin-2017 .

Name
Last commit
Last update
bachelorthesis Loading commit data...
images Loading commit data...
masterthesis_Patrick_Verleg Loading commit data...
models Loading commit data...
sources Loading commit data...
.gitignore Loading commit data...
ACM-Reference-Format.bst Loading commit data...
Model Learning and Model Checking.pptx Loading commit data...
acmart.cls Loading commit data...
acmart.dtx Loading commit data...
conclusions.tex Loading commit data...
introduction.tex Loading commit data...
learning_results.tex Loading commit data...
learning_setup.tex Loading commit data...
macros.tex Loading commit data...
main.tex Loading commit data...
preliminaries.tex Loading commit data...
security_definitions.tex Loading commit data...
sigproc.bib Loading commit data...
specifications.txt Loading commit data...
the_sut.tex Loading commit data...