Hochschulschrift | Online-Publikation
Translating formal specifications into behavioural hardware descriptions
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783899581003
3899581008
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Download lizenzpflichtig
Zugl.: Kassel, Univ., Diss., 2004
- Klassifikation
-
Informatik
- Schlagwort
-
Systementwurf
Formale Spezifikationstechnik
TLA
Compiler
VHDL
- Ereignis
-
Veröffentlichung
- (wo)
-
Kassel
- (wer)
-
Kassel Univ. Press
- (wann)
-
2004
- Urheber
-
Drögehorn, Olaf
- URN
-
urn:nbn:de:0002-1003
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:24 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
- Online-Publikation
Beteiligte
- Drögehorn, Olaf
- Kassel Univ. Press
Entstanden
- 2004
Ähnliche Objekte (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