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

Advertisement

The following bibliography contains all publications indexed in this database that are linked with this name as either author, editor or any other kind of contributor.

  1. Ibrhim, Hamada / Khattab, Sherif / Elsayed, Khaled / Badr, Amr / Nabil, Emad (2020): A formal methods-based Rule Verification Framework for end-user programming in campus Building Automation Systems. In: Building and Environment, v. 181 (August 2020).

    https://doi.org/10.1016/j.buildenv.2020.106983

Search for a publication...

Only available with
My Structurae

Full text
Structurae cooperates with
International Association for Bridge and Structural Engineering (IABSE)
e-mosty Magazine
e-BrIM Magazine