Suchergebnisse - Hsieh, Harry

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

    Synchronous equivalence: formal methods for embedded systems
    von Hsieh, Harry, Balarin, Felice, Sangiovanni-Vincentelli, Alberto

    Veröffentlicht 2001
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Hardware-Software Co-Design of Embedded Systems: The POLIS Approach
    von Balarin, Felice, Chiodo, Massimiliano, Giusto, Paolo, Hsieh, Harry

    Veröffentlicht 1997
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Synchronous Equivalence: Formal Methods for Embedded Systems
    von Hsieh, Harry, Balarin, Felice, Sangiovanni-Vincentelli, Alberto

    Veröffentlicht 2001
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: