Model-based Quality Assurance of Cyber-Physical Systems with Variability in Space, over Time and at Runtime
Cyber-physical systems (CPS) are frequently characterized by three essential properties: CPS perform complex computations, CPS conduct control tasks involving continuous data- and signal-processing, and CPS are (parts of) distributed, and even mobile, communication systems. In addition, modern softw...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
2017
|
| Online Access: | http://tuprints.ulb.tu-darmstadt.de/6992/1/habilitationsschrift_lochau.pdf Lochau, Malte <http://tuprints.ulb.tu-darmstadt.de/view/person/Lochau=3AMalte=3A=3A.html> : Model-based Quality Assurance of Cyber-Physical Systems with Variability in Space, over Time and at Runtime. Technische Universität, Darmstadt [Habilitation], (2017) |
Internet
http://tuprints.ulb.tu-darmstadt.de/6992/1/habilitationsschrift_lochau.pdfLochau, Malte <http://tuprints.ulb.tu-darmstadt.de/view/person/Lochau=3AMalte=3A=3A.html> : Model-based Quality Assurance of Cyber-Physical Systems with Variability in Space, over Time and at Runtime. Technische Universität, Darmstadt [Habilitation], (2017)