Gennady I.Alekseev先生
人员信息
其他同名人员
优化列表
2000 – 2009
2007 【c2】 瓦莱里·A·内波米纳希 , Gennady I.Alekseev先生 , 维克托·阿尔吉洛夫 , 德米特里·贝洛格拉佐夫 , 亚历山大·V·拜斯特罗夫 , 尤金·切夫塔科夫 , 塔蒂亚娜·丘里娜 , 谢尔盖·梅尼科夫 , 鲁斯兰·诺维科夫 :
改进的有色Petri网在SDL特定通信协议建模和验证中的应用。 CSR公司 2007 : 303-314 2001 [j1] 瓦莱里·A·内波米纳希 , Gennady I.Alekseev先生 , 亚历山大·V·拜斯特罗夫 , 谢尔盖·梅尼科夫 , E.V.Okunshnikova公司 , P.A.Chubarev先生 , 塔蒂亚娜·丘里娜 :
使用高级Petri网验证Estelle指定的通信协议。 程序。 计算。 柔和。 27 ( 2 ) : 58-68 ( 2001 )
1990 – 1999
1995 【c1】 瓦莱里·A·内波米纳希 , Gennady I.Alekseev先生 , 亚历山大·V·拜斯特罗夫 , 塔蒂亚娜·丘里娜 , 谢尔盖·梅尼科夫 , E.V.Okunshnikova公司 :
酯类特定通信协议的Petri网建模。 帕克托 1995 : 94-108