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 43

Repositories

Showing 10 of 13 repositories
  • ase-labs Public

    Practice material for the Automated Software Engineering course

    ftsrg-edu/ase-labs’s past year of commit activity
    6 1 0 0 Updated Dec 23, 2024
  • ase-lab-practice-10-example Public

    Example project with main branch for practice 10 of the ASE course

    ftsrg-edu/ase-lab-practice-10-example’s past year of commit activity
    Java 0 0 0 0 Updated Nov 19, 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 43 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
    14 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

Top languages

Loading…

Most used topics

Loading…