Search
Now showing items 1-2 of 2
Automated security verification of networking protocols and query auditing algorithms for wireless sensor networks
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2013)
Selective automatic test generation for EFSM formal models with fault and string edit distance based methods
(Budapesti Műszaki és Gazdaságtudományi Egyetem, 2009)