Searched for: subject:"Interventions"
(1 - 2 of 2)
Schuts, M. (author), Hooman, J. (author)
We discuss the use of formal techniques to improve the concept phase of product realisation. As an industrial application, a new concept of interventional X-ray systems has been formalized, using model checking techniques and the simulation of formal models. cop. Springer International Publishing Switzerland 2015.
conference paper 2015
Jacobs, P. (author)
We performed an intervention study in a nursery. We have measured the air quality with as indicator CO2 and temperature in the original configuration. The maximum observed CO2 concentration during a three week monitoring period was 1834 ppm. The average CO2 concentration during the sleeping period was 1266 ppm, which is above the Dutch...
conference paper 2011