0
  • DE
  • EN
  • FR
  • Base de données et galerie internationale d'ouvrages d'art et du génie civil

Publicité

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

Structurae ne peut pas vous offrir cette publication en texte intégral pour l'instant. Le texte intégral est accessible chez l'éditeur. DOI: 10.1016/j.buildenv.2020.106983.
  • Informations
    sur cette fiche
  • Reference-ID
    10429898
  • Publié(e) le:
    14.08.2020
  • Modifié(e) le:
    14.08.2020
 
Structurae coopère avec
International Association for Bridge and Structural Engineering (IABSE)
e-mosty Magazine
e-BrIM Magazine