Hochschulschrift
Development of automatic program verification for continuous function chart based on model checking
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783899588064
- Maße
-
24 cm, 260 gr.
- Umfang
-
121 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Kassel, Univ., Diss., 2009
- Erschienen in
-
Embedded systems ; 32
- Klassifikation
-
Elektrotechnik, Elektronik
- Schlagwort
-
Automatisierungssystem
Programmverifikation
Continuous Function Chart
- Ereignis
-
Veröffentlichung
- (wo)
-
Kassel
- (wer)
-
Kassel Univ. Press
- (wann)
-
2009
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:46 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
Beteiligte
- Wardana, Awang Noor Indra
- Kassel Univ. Press
Entstanden
- 2009
Ähnliche Objekte (12)
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
Vermitteln - beraten - erinnern : Funktionen und Aufgabenfelder von Frauen in der ottonischen Herrscherfamilie (919-1024)
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
Lesarten der Geschichte : ländliche Ordnungen und Geschlechterverhältnisse ; Festschrift für Heide Wunder zum 65. Geburtstag
Odour and VOCs: measurement, regulation and control
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
Vermitteln - beraten - erinnern : Funktionen und Aufgabenfelder von Frauen in der ottonischen Herrscherfamilie (919-1024)
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
Lesarten der Geschichte : ländliche Ordnungen und Geschlechterverhältnisse ; Festschrift für Heide Wunder zum 65. Geburtstag
Odour and VOCs: measurement, regulation and control
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
Vermitteln - beraten - erinnern : Funktionen und Aufgabenfelder von Frauen in der ottonischen Herrscherfamilie (919-1024)
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
Lesarten der Geschichte : ländliche Ordnungen und Geschlechterverhältnisse ; Festschrift für Heide Wunder zum 65. Geburtstag