Hochschulschrift
Spezifikation und Generierung von zeitlich-logischen Eigenschaftssätzen aus Sequenzdiagrammen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783866245716
- Dimensions
-
21 cm, 200 g
- Extent
-
IX, 130 S.
- Edition
-
Als Ms. gedr.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Erlangen, Nürnberg, Univ., Diss., 2012
- Bibliographic citation
-
Dissertation.de ; 1671
- Classification
-
Elektrotechnik, Elektronik
- Keyword
-
Register-Transfer-Ebene
Sequenzdiagramm
Verifikation
Hardwarebeschreibungssprache
Temporale Logik
Eigenschaft
Generierung
Spezifikationstechnik
Hardwareentwurf
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:13 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Schweikert, Martin
- dissertation.de
Time of origin
- 2012
Other Objects (12)
Effiziente Generierung reduzierter Reaktionsmechanismen basierend auf intrinsischen niedrig-dimensionalen Mannigfaltigkeiten
Lexikographische Generierung, Ranking und Unranking kombinatorischer Objekte : eine Average-Case Analyse
Vincenzo Foppa, Bd. 2.. Katalog und Bibliographie
Vincenzo Foppa, Bd 1.. Text
Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen
Zweyter Abschnitt. Vom logischen Sinn und logischen Gefühl
Ein regelbasiertes System zur Generierung von Orders für Lagerfahrzeuge : Fallstudie bei einem deutschen Automobilhersteller
Zur logischen Frage
Die logischen Grundlagen
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Vom logischen Denken zum logischen Rechnen, Handbuch für Lehrerinnen und Lehrer.
Teichmann-Logischen, Arthur von
Effiziente Generierung reduzierter Reaktionsmechanismen basierend auf intrinsischen niedrig-dimensionalen Mannigfaltigkeiten
Lexikographische Generierung, Ranking und Unranking kombinatorischer Objekte : eine Average-Case Analyse
Vincenzo Foppa, Bd. 2.. Katalog und Bibliographie
Vincenzo Foppa, Bd 1.. Text
Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen
Zweyter Abschnitt. Vom logischen Sinn und logischen Gefühl
Ein regelbasiertes System zur Generierung von Orders für Lagerfahrzeuge : Fallstudie bei einem deutschen Automobilhersteller
Zur logischen Frage
Die logischen Grundlagen
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Vom logischen Denken zum logischen Rechnen, Handbuch für Lehrerinnen und Lehrer.
Teichmann-Logischen, Arthur von
Effiziente Generierung reduzierter Reaktionsmechanismen basierend auf intrinsischen niedrig-dimensionalen Mannigfaltigkeiten
Lexikographische Generierung, Ranking und Unranking kombinatorischer Objekte : eine Average-Case Analyse
Vincenzo Foppa, Bd. 2.. Katalog und Bibliographie
Vincenzo Foppa, Bd 1.. Text
Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen
Zweyter Abschnitt. Vom logischen Sinn und logischen Gefühl
Ein regelbasiertes System zur Generierung von Orders für Lagerfahrzeuge : Fallstudie bei einem deutschen Automobilhersteller
Zur logischen Frage
Die logischen Grundlagen
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache
Vom logischen Denken zum logischen Rechnen, Handbuch für Lehrerinnen und Lehrer.