baloghlaszlo

Pinned Repositories

twotowers
Language:Java00
BKKCrypt
An implementation of the famous BKKCrypt algorithm. Community contribution for other languages is highly appreciated.
Language:C++00
clodes3
Git repository for the CPS homework of our team.
Language:Python20
mdsd-tetelsor
00
msc_thesis
Language:TeX0 3 00
swsv
Software and Systems Verification (VIMIMA01) course
Language:TeX00
thesis-template-latex
Thesis template for LaTeX documents
Language:TeX00
swsv-labs
Lab materials for the Software and Systems Verification (VIMIMA01) course
Language:C#29 25 59
kortargyalo-MDSD-2016
Kis temp repó, amíg a központi nem készül el
Language:Java0 4 00
BME-MODES3
Model-based Demonstrator for Smart and Safe Systems
Language:C++16 17 1188

baloghlaszlo's Repositories

baloghlaszlo/clodes3
Git repository for the CPS homework of our team.
Language:Python20
baloghlaszlo/BKKCrypt
An implementation of the famous BKKCrypt algorithm. Community contribution for other languages is highly appreciated.
Language:C++00
baloghlaszlo/mdsd-tetelsor
00
baloghlaszlo/msc_thesis
Language:TeX0 3 00
baloghlaszlo/swsv
Software and Systems Verification (VIMIMA01) course
Language:TeX00
baloghlaszlo/thesis-template-latex
Thesis template for LaTeX documents
Language:TeX00