Zum Inhalt springen

  1. Ruf, Jürgen [HerausgeberIn] ; Fachgruppe Methoden des Entwurfs und der Verifikation Digitaler Schaltungen und Systeme, Fachgruppe Beschreibungssprachen und Modellierung von Schaltungen und Systemen, Workshop Modellierung und Verifikation 2002 Tübingen

    Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Shaker, 2002

    Erschienen in: Berichte aus der Informatik

  2. Schmid, Detlef [HerausgeberIn]; Kropf, Thomas [Sonstige Person, Familie und Körperschaft] ; Workshop Formale Methoden zum Entwurf Korrekter Systeme 1993 Bad Herrenalb, Fachgruppe Methoden des Entwurfs und der Verifikation Digitaler Schaltungen und Systeme

    GI-ITG-Workshop Formale Methoden zum Entwurf Korrekter Systeme : 21. - 23. März 1993, Bad Herrenalb

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Karlsruhe: Univ., Fakultät für Informatik, 1993

    Erschienen in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 93,10

  3. Barke, Erich [Sonstige Person, Familie und Körperschaft]; Rosenstiel, Wolfgang [Sonstige Person, Familie und Körperschaft]; Schlichtmann, Ulf [Sonstige Person, Familie und Körperschaft] ; EdaWorkshop 8 2014 Hannover, Edacentrum, Deutschland Bundesministerium für Bildung und Forschung, Kooperationsgemeinschaft Rechnergestützter Schaltungs- und Systementwurf

    edaWorkshop 14 : Hannover, 13. – 14. Mai 2014, Tagungsband

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: VDE-Verl., 2014

  4. Glesner, Manfred [HerausgeberIn] ; Gesellschaft für Informatik, Informationstechnische Gesellschaft, Gesellschaft für Mikroelektronik, Fachgruppe Beschreibungssprachen und Modellierung von Schaltungen und Systemen, Workshop Hardwarebeschreibungssprachen und Modellierungsparadigmen 2 1996 Darmstadt

    Hardwarebeschreibungssprachen und Modellierungsparadigmen : 2. GI/ITG/GME Workshop 15./16. Februar 1996 in Darmstadt - [Als Ms. gedr.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Shaker, 1996