Giters
Dr. Marc Diefenbruch (Diefenbruch)

Diefenbruch

Geek Repo

0

followers

5

following

25

stars

Company:OpenText

Location:Germany

Twitter:@diefenbruch

Github PK Tool:Github PK Tool

Dr. Marc Diefenbruch's repositories

QSDL-TL

Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Temporal Logic (TL)

Language:C++License:GPL-3.0Stargazers:2Issues:0Issues:0

QSDL-CG

Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Code Generator (CG)

Language:C++License:GPL-3.0Stargazers:1Issues:0Issues:0

QSDL-DS

Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Data Structure (DS)

Language:C++License:GPL-3.0Stargazers:1Issues:1Issues:0

QSDL-PEV

Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Performance Evaluation & Visualization (PEV)

Language:C++License:GPL-3.0Stargazers:1Issues:0Issues:0

QSDL-QP

Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - QSDL Parser (QP)

Language:CLicense:GPL-3.0Stargazers:1Issues:0Issues:0

QSDL-QUEST

Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Main QUEST Program (QSDL --> C++)

Language:C++License:GPL-3.0Stargazers:1Issues:0Issues:0

QSDL-SCL

Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Simulation Class Library (SCL)

Language:C++License:GPL-3.0Stargazers:1Issues:0Issues:0

docker-react

Language:JavaScriptStargazers:0Issues:1Issues:0

QSDL-INIT

Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Init (Main Makefile + Shell Init Script)

Language:MakefileLicense:GPL-3.0Stargazers:0Issues:0Issues:0

QSDL-SPECS

QSDL Specifications

Language:ShellLicense:GPL-3.0Stargazers:0Issues:0Issues:0