0
  • DE
  • EN
  • FR
  • International Database and Gallery of Structures

Advertisement

A formal methods-based Rule Verification Framework for end-user programming in campus Building Automation Systems

Author(s):




Medium: journal article
Language(s): English
Published in: Building and Environment, , v. 181
Page(s): 106983
DOI: 10.1016/j.buildenv.2020.106983
Structurae cannot make the full text of this publication available at this time. The full text can be accessed through the publisher via the DOI: 10.1016/j.buildenv.2020.106983.
  • About this
    data sheet
  • Reference-ID
    10429898
  • Published on:
    14/08/2020
  • Last updated on:
    14/08/2020
 
Structurae cooperates with
International Association for Bridge and Structural Engineering (IABSE)
e-mosty Magazine
e-BrIM Magazine