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

1–1 von 1 Ergebnissen
|

    Model Checking for Verification in UAV Cooperative Control Applications

    Humphrey, Laura R. | Springer Verlag | 2013
    Schlagwörter: Linear Temporal Logic , Linear Temporal Logic Formula

      Model Checking for Verification in UAV Cooperative Control Applications

      Humphrey, Laura R. | Tema Archiv | 2013
      Schlagwörter: temporale Logik , linear temporal logic