PSMECA Analysis of IoT-based Physical Security Systems Вид публикации: Book Chapter Авторы: Ahmed Waleed Al-Khafaji; Vyacheslav Kharchenko; Dmytro Uzun; Oleg A. Illiashenko; Oleksandr Solovyov Источник: Dependable IoT for Human and Industry: Modeling, Architecting, Implementation, River Publishers, Denmark (2018)
