Search
Now showing items 1-1 of 1
Title: Formal Methods for Modelling Wireless Sensor Networks
Author:
Date: 2019
Submitted: 2019-11-28
(2019)
Ebben a disszertációban olyan új formális módszereket mutattunk be, amelyek alkalmasak vezeték nélküli szenzorhálózatok modellezésére és működésük elemzésére. Az értekezés eredményeit hazai és nemzetközi konferenciákon, ...