Modal title
×
...
RGSE
Home
Forschung
Lehre
Personen
Prof. Dr. Jan Jürjens
Forschung - Übersicht
Forschung - Motivation
Forschung - Resultate
Forschung - Impakt
UMLsec
Tools
Projekte
TITAN
EnTrust
VisiOn
SecSpec
SecSIoT
PNASSE
SecVolution
ClouDAT
SECONOMICS
APEX
UMLsecRisk
Secure Clouds
MoDelSec
Secure Change
VeriSec
(aktuell)
Csec
MFSAoC-PI
MFSAoC-PI
S&P-4-all
T-REQS
DILoTra
DataPorts
IIP-Ecosphere
XAPS
Veröffentlichungen (JJ)
Forschungsmöglichkeiten
Paper Reading Group
Kontakt
Impressum
This page in English
Nebeninhalt
Ansprechpartner
Prof. Dr. Jan Jürjens
Automated Verification of Security-Critical Software (VeriSec)
Diese Seite ist nur in
Englisch
verfügbar.