Treffer 1 - 3 von 3 für Suche 'Hsieh, Harry', Suchdauer: 0,09s Treffer weiter einschränken
  1. 1
    Synchronous equivalence formal methods for embedded systems

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

    Veröffentlicht 2001
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Hardware-Software Co-Design of Embedded Systems The POLIS Approach

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

    Veröffentlicht 1997
    DE-634
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Synchronous Equivalence Formal Methods for Embedded Systems

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

    Veröffentlicht 2001
    DE-573
    DE-634
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: