共 6 条
- [1] An evaluation framework for energy aware buildings using statistical model checking[J]. DAVID Alexandre,LARSEN Kim G.,MIKUIONIS Marius,SKOU Arne.Science China(Information Sciences). 2012(12)
- [6] The Impact of Control Technology .2 Baheti R,Gill H. . 2011