Hochschulschrift | Online-Publikation
Translating formal specifications into behavioural hardware descriptions
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783899581003
3899581008
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Download lizenzpflichtig
Zugl.: Kassel, Univ., Diss., 2004
- Classification
-
Informatik
- Keyword
-
Systementwurf
Formale Spezifikationstechnik
TLA
Compiler
VHDL
- Event
-
Veröffentlichung
- (where)
-
Kassel
- (who)
-
Kassel Univ. Press
- (when)
-
2004
- Creator
-
Drögehorn, Olaf
- URN
-
urn:nbn:de:0002-1003
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:24 AM 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
- Online-Publikation
Associated
- Drögehorn, Olaf
- Kassel Univ. Press
Time of origin
- 2004
Other Objects (12)
Hardware-in-the-Loop gestützte Entwicklungsplattform für Fahrerassistenzsysteme : Analyse und Generierung kritischer Verkehrsszenarien
Hardware-in-the-loop-gestützte Entwicklungsplattform für Fahrerassistenzsysteme : Modelle der Umfeldsensorik und angepasste Fahrermodelle
Frau und Bildnis 1600-1750 : barocke Repräsentationskultur an europäischen Fürstenhöfen
Zigaretten und männlich-weibliche Turbulenzen in Deutschlands bürgerlicher Ordnung des Rauchens vor 1914
Erfahren und verfahren : Überlegungen zu einer künftigen Erfahrungsgeschichte
Projektentwicklung brachgefallener Flächen : Tagungsband zum Symposium 2002 am 13. September 2002
Towards a shared vision for higher education, [Vol. 1]
Biographie, Traditionsbildung und Geschlecht : historische Relevanz und Partizipation am Beginn der Moderne
Towards a shared vision for higher education, Vol. 2
Vom Arbeitspaar zum Gender Mainstreaming
Membranfiltration in Hessen, [...]. Teil 2 und Gesamt-Zusammenfassung
Towards a shared vision for higher education, Vol. 3
Hardware-in-the-Loop gestützte Entwicklungsplattform für Fahrerassistenzsysteme : Analyse und Generierung kritischer Verkehrsszenarien
Hardware-in-the-loop-gestützte Entwicklungsplattform für Fahrerassistenzsysteme : Modelle der Umfeldsensorik und angepasste Fahrermodelle
Frau und Bildnis 1600-1750 : barocke Repräsentationskultur an europäischen Fürstenhöfen
Zigaretten und männlich-weibliche Turbulenzen in Deutschlands bürgerlicher Ordnung des Rauchens vor 1914
Erfahren und verfahren : Überlegungen zu einer künftigen Erfahrungsgeschichte
Projektentwicklung brachgefallener Flächen : Tagungsband zum Symposium 2002 am 13. September 2002
Towards a shared vision for higher education, [Vol. 1]
Biographie, Traditionsbildung und Geschlecht : historische Relevanz und Partizipation am Beginn der Moderne
Towards a shared vision for higher education, Vol. 2
Vom Arbeitspaar zum Gender Mainstreaming
Membranfiltration in Hessen, [...]. Teil 2 und Gesamt-Zusammenfassung
Towards a shared vision for higher education, Vol. 3
Hardware-in-the-Loop gestützte Entwicklungsplattform für Fahrerassistenzsysteme : Analyse und Generierung kritischer Verkehrsszenarien
Hardware-in-the-loop-gestützte Entwicklungsplattform für Fahrerassistenzsysteme : Modelle der Umfeldsensorik und angepasste Fahrermodelle
Frau und Bildnis 1600-1750 : barocke Repräsentationskultur an europäischen Fürstenhöfen
Zigaretten und männlich-weibliche Turbulenzen in Deutschlands bürgerlicher Ordnung des Rauchens vor 1914
Erfahren und verfahren : Überlegungen zu einer künftigen Erfahrungsgeschichte
Projektentwicklung brachgefallener Flächen : Tagungsband zum Symposium 2002 am 13. September 2002
Towards a shared vision for higher education, [Vol. 1]
Biographie, Traditionsbildung und Geschlecht : historische Relevanz und Partizipation am Beginn der Moderne
Towards a shared vision for higher education, Vol. 2
Vom Arbeitspaar zum Gender Mainstreaming
Membranfiltration in Hessen, [...]. Teil 2 und Gesamt-Zusammenfassung