Autors: Nikolov, A. N., Atanasov, I. I., Pencheva, E. N.
Title: Formal verification of connectivity management models in M2M communications
Keywords: Bisimulation relationship; Device management;



    4th IEEE International Black Sea Conference on Communications and Networking, BlackSeaCom, 2017, Bulgaria, IEEE, DOI 10.1109/BlackSeaCom.2016.7901580

    Цитирания (Citation/s):
    1. Mouakher, I. et al. Validating and verifying LwM2M clients with event-B, International Journal of Internet Protocol Technology, 16(2), pp. 75-91 DOI: 10.1504/ijipt.2023.131291 - 2023 - в издания, индексирани в Scopus или Web of Science
    2. Mouakher, I. et al. Toward a correct implementation of LwM2M client with event-B, ICSOFT 2020 - Proceedings of the 15th International Conference on Software Technologies pp. 172-179 ISBN: 978-989758443-5 - 2020 - в издания, индексирани в Scopus или Web of Science

    Вид: публикация в международен форум, публикация в реферирано издание, индексирана в Scopus