ftsrg edu

Education materials of the Critical Systems Research Group

Budapest, Hungary

Pinned Repositories

ase-labs
Practice material for the Automated Software Engineering course
30
ivt-lab
Lab exercises for the Integration and Verification Techniques course
Language:Java2 15 042
lecture-notes
Some lecture notes of the research group
14 26 01
logic-workshop
Logic and DSL demo for students
Language:Java1 23 00
mdsd-examples
Projects for a course about Model-Based Systems Design
Language:Java1 22 01
ndp
Nagyhatékonyságú deklaratív programozás (VISZMB01) jegyzet
Language:TeX4 17 00
swsv-labs
Lab materials for the Software and Systems Verification (VIMIMA01) course
Language:C#30 25 59
thesis-template-markdown
Thesis template in Markdown
Language:HTML15 23 115
thesis-template-word
Thesis template in Microsoft Word
13 21 50
toolbox
Unix, Git és IDE alapok és feladatok
Language:C1 27 05

ftsrg edu's Repositories

ftsrg-edu/swsv-labs
Lab materials for the Software and Systems Verification (VIMIMA01) course
Language:C#30 25 59
ftsrg-edu/thesis-template-markdown
Thesis template in Markdown
Language:HTML15 23 115
ftsrg-edu/lecture-notes
Some lecture notes of the research group
14 26 01
ftsrg-edu/thesis-template-word
Thesis template in Microsoft Word
13 21 50
ftsrg-edu/ndp
Nagyhatékonyságú deklaratív programozás (VISZMB01) jegyzet
Language:TeX4 17 00
ftsrg-edu/ase-labs
Practice material for the Automated Software Engineering course
30
ftsrg-edu/ivt-lab
Lab exercises for the Integration and Verification Techniques course
Language:Java2 15 042
ftsrg-edu/avt-labs
Lab materials for the Advanced Verification Techniques (VIMIMA29) course
Language:Jupyter Notebook12
ftsrg-edu/logic-workshop
Logic and DSL demo for students
Language:Java1 23 00
ftsrg-edu/mdsd-examples
Projects for a course about Model-Based Systems Design
Language:Java1 22 01
ftsrg-edu/toolbox
Unix, Git és IDE alapok és feladatok
Language:C1 27 05
ftsrg-edu/systems-engineering-notes
Notes for student work on mbeddr and autofocus
Language:C0 23 00