- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Kaiserslautern, Technische Universität Kaiserslautern, Habil.-Schr., 2013
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern
- (when)
-
2013
- Creator
-
Brandt, Jens
- Contributor
-
Schneider, Klaus
- URN
-
urn:nbn:de:hbz:386-kluedo-36242
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:50 PM CET
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
- Brandt, Jens
- Schneider, Klaus
- Technische Universität Kaiserslautern
Time of origin
- 2013
Other Objects (12)
Synchronous automata for reactive, real time or embedded systems
Embedded Software Synthesis using Heterogeneous Dataflow Models
Executing model-based software development for embedded I4.0 devices properly
Embedded Software Engineering
Embedded Software Engineering
Embedded Software Engineering
Synthesizing program generators for embedded software
Verification of software for Contiki-based low-power embedded systems using software model checking
Synchronous collaboration in ubiquitous computing environments : conceptual model and software infrastructure for roomware components
Synchronous collaboration in ubiquitous computing environments : conceptual model and software infrastructure for roomware components
Automatic Generator Methodology for Safe Embedded Software
Stochastic models for near-synchronous neuronal firing activity
Synchronous automata for reactive, real time or embedded systems
Embedded Software Synthesis using Heterogeneous Dataflow Models
Executing model-based software development for embedded I4.0 devices properly
Embedded Software Engineering
Embedded Software Engineering
Embedded Software Engineering
Synthesizing program generators for embedded software
Verification of software for Contiki-based low-power embedded systems using software model checking
Synchronous collaboration in ubiquitous computing environments : conceptual model and software infrastructure for roomware components
Synchronous collaboration in ubiquitous computing environments : conceptual model and software infrastructure for roomware components
Automatic Generator Methodology for Safe Embedded Software
Stochastic models for near-synchronous neuronal firing activity
Synchronous automata for reactive, real time or embedded systems
Embedded Software Synthesis using Heterogeneous Dataflow Models
Executing model-based software development for embedded I4.0 devices properly
Embedded Software Engineering
Embedded Software Engineering
Embedded Software Engineering
Synthesizing program generators for embedded software
Verification of software for Contiki-based low-power embedded systems using software model checking
Synchronous collaboration in ubiquitous computing environments : conceptual model and software infrastructure for roomware components
Synchronous collaboration in ubiquitous computing environments : conceptual model and software infrastructure for roomware components
Automatic Generator Methodology for Safe Embedded Software