Suchergebnisse - abstraction techniques for modeling and verification

Ähnliche Schlagwörter innerhalb Ihrer Suche.
  • Treffer 1 - 3 von 3
Treffer weiter einschränken
  1. 1
    Buchumschlag

    Formal System Verification State-of the-Art and Future Trends /

    ISBN: 9783319576855
    Veröffentlicht: Cham : Springer International Publishing, 2018.

    Volltext
    Elektronisch E-Book
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    Low-Power Design and Power-Aware Verification von Khondkar, Progyna

    ISBN: 9783319666198
    Veröffentlicht: Cham : Springer International Publishing, 2018.

    Volltext
    Elektronisch E-Book
    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

    Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016 /

    ISBN: 9783319629209
    ISSN: 1876-1100 ;
    Veröffentlicht: Cham : Springer International Publishing, 2018.

    Volltext
    Elektronisch E-Book
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: