维克托里亚·沃扎罗娃
人员信息
优化列表
2020年–今天
2022 [j1] 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·加里奥 , 斯特凡诺·托内塔 , 维克托里亚·沃扎罗娃 :
公平过渡系统的可诊断性。 Artif公司。 因特尔。 309 : 103725 ( 2022 ) 【c2】 马可·波扎诺 , 亚历山德罗·西马蒂 , 斯特凡诺·托内塔 , 维克托里亚·沃扎罗娃 :
在公平过渡系统中寻找带状路径。 TACAS(1) 2022 : 543-560 2020 【c1】 马可·波扎诺 , 蒙克 , 马库斯·施韦泽 , 斯特凡诺·托内塔 , 维克托里亚·沃扎罗娃 :
模式转换的基于模型的安全分析。 SAFECOMP公司 2020 : 99-114