Suchergebnisse - Tahar, Sofiène 1966-

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

    Eine Methode zur formalen Verifikation von RISC-Prozessoren
    von Tahar, Sofiène 1966-

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Eine Methode zur formalen Verifikation von RISC-Prozessoren
    von Tahar, Sofiène 1966-

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Formalized probability theory and applications using theorem proving
    von Hasan, Osman, Tahar, Sofiène 1966-

    Veröffentlicht 2015
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Verification and evaluation of computer and communication systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Tahar, Sofiène 1966- …”
    Online lesen
    Inhaltsverzeichnis
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Formal methods and software engineering: 24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Tahar, Sofiène 1966- …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: