Virtuálny verifikačný panel s členmi NOR - Pilarčík, Viliam, 1988- (STU v Bratislave FIIT, 2009)