Automatic verification of stochastic processes: certification of building automation systems
Smart buildings are key to reducing greenhouse gas emissions in the face of the continuous and fast-paced growth of urbanisation. The performance criteria for the optimal operation of such intelligent systems require the coupling of certification goals with the design of both the modelling framework...
| מחבר ראשי: | |
|---|---|
| מחברים אחרים: | |
| פורמט: | Thesis |
| שפה: | English |
| יצא לאור: |
2019
|
| נושאים: |