Skip to content
@ftsrg-edu

ftsrg edu

Education materials of the Critical Systems Research Group

Pinned Loading

  1. lecture-notes lecture-notes Public

    Some lecture notes of the research group

    14 1

  2. swsv-labs swsv-labs Public

    Lab materials for the Software and Systems Verification (VIMIMA01) course

    C# 30 9

  3. ivt-lab ivt-lab Public

    Lab exercises for the Integration and Verification Techniques course

    Java 2 42

Repositories

Showing 10 of 12 repositories
  • ase-labs Public

    Practice material for the Automated Software Engineering course

    ftsrg-edu/ase-labs’s past year of commit activity
    3 1 0 0 Updated Nov 5, 2024
  • avt-labs Public

    Lab materials for the Advanced Verification Techniques (VIMIMA29) course

    ftsrg-edu/avt-labs’s past year of commit activity
    Jupyter Notebook 1 2 1 0 Updated Sep 24, 2024
  • ivt-lab Public

    Lab exercises for the Integration and Verification Techniques course

    ftsrg-edu/ivt-lab’s past year of commit activity
    Java 2 MIT 42 0 0 Updated May 2, 2023
  • swsv-labs Public

    Lab materials for the Software and Systems Verification (VIMIMA01) course

    ftsrg-edu/swsv-labs’s past year of commit activity
    C# 30 MIT 9 1 0 Updated Oct 25, 2022
  • mdsd-examples Public

    Projects for a course about Model-Based Systems Design

    ftsrg-edu/mdsd-examples’s past year of commit activity
    Java 1 GPL-3.0 1 0 0 Updated Aug 26, 2021
  • lecture-notes Public

    Some lecture notes of the research group

    ftsrg-edu/lecture-notes’s past year of commit activity
    14 1 0 0 Updated Aug 26, 2021
  • thesis-template-word Public archive

    Thesis template in Microsoft Word

    ftsrg-edu/thesis-template-word’s past year of commit activity
    13 0 5 0 Updated Aug 26, 2021
  • toolbox Public

    Unix, Git és IDE alapok és feladatok

    ftsrg-edu/toolbox’s past year of commit activity
    C 1 5 0 0 Updated Feb 20, 2019
  • ndp Public

    Nagyhatékonyságú deklaratív programozás (VISZMB01) jegyzet

    ftsrg-edu/ndp’s past year of commit activity
    TeX 4 0 0 0 Updated Mar 6, 2017
  • logic-workshop Public archive

    Logic and DSL demo for students

    ftsrg-edu/logic-workshop’s past year of commit activity
    Java 1 0 0 0 Updated Jul 21, 2016
View all repositories