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)
 09.07.2026
Causal Reasoning in Net KAT (CRENKAT) AG Leue (Software and Systems Engineering)
 15.02.2021
Transferplattform QuantUM+ AG Leue (Software and Systems Engineering)
 31.12.2016
EADS "Quantitative Functional Safety Analysis for System architectures / QuaFuSA AG Leue (Software and Systems Engineering)
 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)
 31.03.2009
DiRePro: Directed Model Checking in the Analysis of Real-Time and Probabilistic Systems AG Leue (Software and Systems Engineering)
 30.09.2011
Entwurf komplexer Softwaresysteme / Engineering Complex Software Systems AG Leue (Software and Systems Engineering)
 31.12.2099
Unvollständige Model Checking für Objektorientierte Nebenläufige Systeme AG Leue (Software and Systems Engineering)
 30.08.2005
<< <1> >>