Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Methode 7 Treffer
- Model Checking 7 Treffer
- Hardwareverifikation 6 Treffer
- Entwurfsautomation 4 Treffer
- Softwareentwicklung 4 Treffer
-
20 weitere Werte:
- Eingebettetes System 3 Treffer
- Systementwurf 3 Treffer
- Verifikation 3 Treffer
- Entwurfssprache 2 Treffer
- Hardwarebeschreibungssprache 2 Treffer
- Hybrides System 2 Treffer
- System-on-Chip 2 Treffer
- Systemanalyse 2 Treffer
- Zeitbehafteter Automat 2 Treffer
- Algebraische Spezifikation 1 Treffer
- Berechnungstheorie 1 Treffer
- Computerarchitektur 1 Treffer
- Deduktionssystem 1 Treffer
- Formale Spezifikationstechnik 1 Treffer
- Kundenspezifische Schaltung 1 Treffer
- Logiksynthese 1 Treffer
- Rekonfiguration 1 Treffer
- Taipeh <2005> 1 Treffer
- Top-down-Verfahren 1 Treffer
- VLSI 1 Treffer
Sprache
Form
Person
11 Treffer
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Kluwer Acad. Publ, 1994Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: