An evaluation framework for energy aware buildings using statistical model checking期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

An evaluation framework for energy aware buildings using statistical model checking

Affiliation:	DAVID Alexandre 1,DU DeHui 2,LARSEN Kim G.1,MIKUIONIS Marius 1 & SKOU Arne 1 1 Center for Embedded Software Systems,Department of Computer Science,Aalborg University,Aalborg,Denmark;2 Shanghai Key Laboratory of Trustworthy Computing,East China Normal University,Shanghai 200062,China

Abstract:

Keywords:
本文献已被 CNKI 等数据库收录！