Ocena bezpieczeństwa budynku inteligentnego z zastosowaniem metody formalnej oceny bezpieczeństwa — [Safety assessment of intelligent building using the method of formal safety assessment] / Magdalena KRZYWDA, Jerzy MIKULIK // W: IBTMM 2015 [Dokument elektroniczny] : technologie inteligentnego budownictwa i zarządzanie multimediami : materiały drugiego kongresu : 5–6 listopada 2015, Kraków = Intelligent Building Technologies & Multimedia Management / pod red. Jerzego Mikulika. — Wersja do Windows. — Dane tekstowe. — Kraków : Wydawnictwo LIBRON - Filip Lohner, 2015. — 1 dysk optyczny. — e-ISBN: 978-83-65148-53-7. — S. 121–132. — Wymagania systemowe: Adobe Reader ; napęd CD-ROM. — Bibliogr. s. 132, Streszcz., Abstr.. — Streszczenie w j. pol. i ang. dod. W: IBTMM 2015 [Dokument elektroniczny] : the 2nd world conference on Intelligent Building Technologies and Multimedia Management : Kraków, 5–6.11.2015 : conference program & book of abstracts. — Wersja do Windows. — Dane tekstowe. — [Kraków : s. n.], [2015]. — 1 dysk optyczny. — S. 16. — Wymagania systemowe: Adobe Reader ; napęd CD-ROM