DOI: https://doi.org/10.15276/aait.04.2019.4

Martynyuk, O. N.,  Drozd, O. B., Nesterenko, S. A. & Ahmesh, Tamem.“Behavioral Verification of Internet of Things Systems by Petri Nets”.   Applied Aspects of Information Technology. Publ. Science i Technical.  Odessa: Ukraine. 2019; Vol.2 No. 4: 295–303. DOI: https://doi.org/10.15276/aait.04.2019.4