Treffer 1 - 4 von 4 für Suche 'Thalmaier, Max', Suchdauer: 0,32s Treffer weiter einschränken
  1. 1
    Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants

    Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants von Nguyen, M.D., Thalmaier, M., Wedler, M., Bormann, J., Stoffel, D., Kunz, W.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Acceleration of RSA Cryptographic Operations Using FPGA Technology

    Acceleration of RSA Cryptographic Operations Using FPGA Technology von Zutter, J., Thalmaier, M., Klein, M., Laux, K.-O.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Analyzing k-step induction to compute invariants for SAT-based property checking

    Analyzing k-step induction to compute invariants for SAT-based property checking von Thalmaier, Max, Nguyen, Minh D, Wedler, Markus, Stoffel, Dominik, Bormann, Jorg, Kunz, Wolfgang


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    A re-use methodology for formal SoC protocol compliance verification

    A re-use methodology for formal SoC protocol compliance verification von Nguyen, M.D., Thalmaier, M., Wedler, M., Stoffel, D., Kunz, W., Bormann, J.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: