Suchergebnisse - Spisländer, Marc

  • Treffer 1 – 2 von 2
Treffer filtern
  1. 1
    Buchumschlag

    Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen
    von Spisländer, Marc

    Veröffentlicht 2019
    Online lesen (frei zugänglich)
    Hochschulschrift/Dissertation Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Computer safety, reliability, and security: 41st international conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, proceedings

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Spisländer, Marc …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: