KASTEL

Institute of Information Security and Dependability

Application-oriented Formal Verification

Research Group for Application-oriented Formal Verification at the Institute of Information Security and Dependability (KASTEL)

3 0 12
A

Artemis

Management of https://artemis.praktomat.cs.kit.edu

0 6 6
L

Logic of Autonomous Dynamical Systems

0 5 10
Software Design and Quality (SDQ)

The label Software Design and Quality represents the joint research on topics of requirements, software architecture, modelling, and many more, at KASTEL. See also https://sdq.kastel.kit.edu/wiki-intern/GitLab

13 1 47