Verifikation digitaler Systeme. Eine Einführung in den Entwurf korrekter digitaler Systeme (German)
- New search for: Eveking, H.
- New search for: Eveking, H.
1991
-
ISBN:
- Book / Print
-
Title:Verifikation digitaler Systeme. Eine Einführung in den Entwurf korrekter digitaler Systeme
-
Additional title:Verification of digital systems. An introduction into the design of correct digital systems
-
Contributors:Eveking, H. ( author )
-
Publisher:
- New search for: Teubner
-
Place of publication:Stuttgart
-
Publication date:1991
-
Size:308 Seiten
-
ISBN:
-
Type of media:Book
-
Type of material:Print
-
Language:German
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
EinleitungDr.-Ing. habil Eveking, Hans et al. | 1991
- 11
-
EntwurfskorrektheitDr.-Ing. habil Eveking, Hans et al. | 1991
- 19
-
Begriff der AbstraktionsebeneDr.-Ing. habil Eveking, Hans et al. | 1991
- 27
-
Modellierung von VerhaltenDr.-Ing. habil Eveking, Hans et al. | 1991
- 35
-
Sprachen der PrädikatenlogikDr.-Ing. habil Eveking, Hans et al. | 1991
- 43
-
Formale Systeme der PrädikatenlogikDr.-Ing. habil Eveking, Hans et al. | 1991
- 59
-
HardwarebeschreibungenDr.-Ing. habil Eveking, Hans et al. | 1991
- 67
-
LogikverifikationDr.-Ing. habil Eveking, Hans et al. | 1991
- 97
-
Statische BeschreibungenDr.-Ing. habil Eveking, Hans et al. | 1991
- 107
-
Transitionale BeschreibungenDr.-Ing. habil Eveking, Hans et al. | 1991
- 135
-
Kombiniert statisch/transitionale BeschreibungenDr.-Ing. habil Eveking, Hans et al. | 1991
- 139
-
Beschreibungen mit Vielfach-VerzögerungenDr.-Ing. habil Eveking, Hans et al. | 1991
- 159
-
Switch-Level BeschreibungenDr.-Ing. habil Eveking, Hans et al. | 1991
- 177
-
StrukturbeschreibungenDr.-Ing. habil Eveking, Hans et al. | 1991
- 191
-
Strukturierte EntwurfsmethodenDr.-Ing. habil Eveking, Hans et al. | 1991
- 195
-
Erweiterungen von BeschreibungenDr.-Ing. habil Eveking, Hans et al. | 1991
- 211
-
Interpretierbare BeschreibungenDr.-Ing. habil Eveking, Hans et al. | 1991
- 225
-
Zeitliche AbstraktionDr.-Ing. habil Eveking, Hans et al. | 1991
- 237
-
Äquivalenz von BeschreibungenDr.-Ing. habil Eveking, Hans et al. | 1991
- 247
-
Verifikation von TeilenDr.-Ing. habil Eveking, Hans et al. | 1991
- 261
-
Horizontale VerifikationDr.-Ing. habil Eveking, Hans et al. | 1991
- 269
-
Timing-VerifikationDr.-Ing. habil Eveking, Hans et al. | 1991
- 279
-
Struktur von Verifikations-WerkzeugenDr.-Ing. habil Eveking, Hans et al. | 1991