Direkt zum Inhalt springen
Direkt zu Textvergrößerung und Kontrast springen
Servicenavigation
DFG Homepage
Impressum / Kontakt
|
Hilfe
|
Datenmonitor
English
Hauptnavigation
Suche
Katalog
Personenindex
Ortsindex
Über GEPRIS
Detailseite
Zurück
Institution
Universität Konstanz
Fachbereich Informatik und Informationswissenschaft
Chair for Software and Systems Engineering
Adresse
Box 67
78457 Konstanz
Deutschland
GERiT
Diese Institution in GERiT
78457 Konstanz
Projekte
Sachbeihilfen
laufende Projekte
SCADNet - Strukturelle kausale Analyse von tiefen neuronalen Netzen
(Antragsteller
Leue, Stefan
)
abgeschlossene Projekte
Directed Model Checking in the Analysis of Real-Time and Probabilistic Systems
(Antragsteller
Leue, Stefan
)
Kausale Beweisführung in NetKAT
(Antragstellerin
Caltais, Georgiana
)
Unvollständige automatische Verifikation von Software-Designmodellen für nebenläufige objektorientierte eingebettete Echtzeitsysteme basierend auf dem Paradigma der erweiterten kommunizierenden Zustandsautomaten.
(Antragsteller
Leue, Stefan
)
Graduiertenkollegs
abgeschlossene Projekte
GRK 1042: Explorative Analyse und Visualisierung großer Datenräume
(Sprecher
Saupe, Dietmar
)
Zusatzinformationen
© 2024
DFG
Kontakt / Impressum
/
Datenschutz
Textvergrößerung und Kontrastanpassung
