8 Ergebnisse Suchergebnis für "Institution: AG Leue (Software and Systems Engineering)"

Titel Institution Startdatum Enddatum
SCADNet -Strukturelle kausale Analyse von tiefen neuronalen Netzen AG Leue (Software and Systems Engineering)
10.07.2023 09.07.2026
Causal Reasoning in Net KAT (CRENKAT) AG Leue (Software and Systems Engineering)
16.02.2018 15.02.2021
Transferplattform QuantUM+ AG Leue (Software and Systems Engineering)
01.05.2014 31.12.2016
EADS "Quantitative Functional Safety Analysis for System architectures / QuaFuSA AG Leue (Software and Systems Engineering)
01.04.2012 31.03.2015
Unvollständige automatische Verifikation von Software-Designmodellen für nebenläufige objektorientierte eingebettete Echtzeitsysteme basierend auf dem Paradigma der erweiterten kommunizierenden Zustandsautomaten AG Leue (Software and Systems Engineering)
01.04.2007 31.03.2009
DiRePro: Directed Model Checking in the Analysis of Real-Time and Probabilistic Systems AG Leue (Software and Systems Engineering)
22.08.2005 30.09.2011
Entwurf komplexer Softwaresysteme / Engineering Complex Software Systems AG Leue (Software and Systems Engineering)
01.10.2004 31.12.2099
Unvollständige Model Checking für Objektorientierte Nebenläufige Systeme AG Leue (Software and Systems Engineering)
01.01.2004 30.08.2005
<< <1> >>