Singles, Families & Features: Scaling Realisability Analysis |
Masterarbeit / Bachelorarbeit |
Philip Ochs, Tobias Pett |
Offen |
Configurable Probabilistic Featured Transition Systems |
Masterarbeit / Bachelorarbeit |
Lukas Güthing |
Offen |
Extending Attack-Fault Trees for Variable Systems |
Masterarbeit / Bachelorarbeit |
Lukas Güthing |
In Bearbeitung |
Solver representations for CFMs |
Masterarbeit / Bachelorarbeit |
Lukas Güthing |
In Bearbeitung |
Datengetriebene Modellierung eines Szenarienraums |
Masterarbeit |
Lukas Birkemeyer |
Offen |
Sampling Strategien zur Szenario Selektion |
Masterarbeit |
Lukas Birkemeyer |
Offen |