Hybrid control-flow checking with on-line statistics
Ďuríček Maroš ; 070100  Krajčovič Tibor ; 070100
ECBS-EERC 2015: . USB, s. 122-125
kontrola toku vnorený operačný systém detekcia chýb
článok zo zborníka
AFC - Publikované príspevky na zahraničných vedeckých konferenciách
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka