Synonyme wurden verwendet für: TEMPORALE LOGIK
Suche ohne Synonyme: keywords:("TEMPORALE LOGIK")

1–2 von 2 Ergebnissen
|

    From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics

    Freier Zugriff
    Mascle, Corto / Neider, Daniel / Schwenger, Maximilian et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2020
    Schlagwörter: Temporallogik

    Symbolic Abstraction of System Requirements

    Freier Zugriff
    Steinmetz, Joachim / Maibaum, Olaf / Gerndt, Andreas et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2010
    Schlagwörter: Temporal Logic