尤金·切夫塔科夫
人员信息
优化列表
2000 – 2009
2008 [j1] 瓦莱里·A·内波米纳希 , 维克托·阿尔吉洛夫 , 德米特里·贝洛格拉佐夫 , 亚历山大·V·拜斯特罗夫 , 尤金·切夫塔科夫 , 塔蒂亚娜·丘里娜 :
使用高级Petri网对SDL指定的通信协议进行建模和验证。 程序。 计算。 柔和。 34 ( 6 ) : 330-340 ( 2008 ) 2007 【c1】 瓦莱里·A·内波米纳希 , Gennady I.Alekseev先生 , 维克托·阿尔吉洛夫 , 德米特里·贝洛格拉佐夫 , 亚历山大·V·拜斯特罗夫 , 尤金·切夫塔科夫 , 塔蒂亚娜·丘里娜 , 谢尔盖·梅尼科夫 , 鲁斯兰·诺维科夫 :
改进的有色Petri网在SDL特定通信协议建模和验证中的应用。 企业社会责任 2007 : 303-314