安娜·德多娃
人员信息
优化列表
2010 – 2019
2013 [注2] 安娜·德多娃 , 劳雷·佩特鲁奇 :
从代码到彩色Petri网:建模指南。 事务处理。 Petri网其他模型。 同意。 8 : 71-88 ( 2013 ) 2012 [j1] 克莉丝汀·肖比 , 安娜·德多娃 , 萨米·伊万格利斯塔 , 凯斯·克莱 , 劳雷·佩特鲁奇 , 萨米尔·优素福 :
NEO协议的建模和形式验证。 事务处理。 Petri网其他模型。 Concurr。 6 : 197-225 ( 2012 ) 【c3】 安娜·德多娃 , 劳雷·佩特鲁奇 :
从代码到彩色Petri网:建模指南。 太平洋证券交易所 2012 : 109-124 2010 【c2】 克莉丝汀·肖比 , 安娜·德多娃 , 萨米·伊万格利斯塔 , Silien Hong先生 , 凯斯·克莱 , 劳雷·佩特鲁奇 :
大型分布式数据库系统的NEO协议:建模和初始验证。 Petri网 2010 : 145-164
2000 – 2009
2009 【c1】 安娜·德多娃 , 伊琳娜B.维氏夕卡岩 :
面向优先级时间Petri网的参数验证。 帕克托 2009 : 19-25