德米特里·贝洛格拉佐夫
人员信息
优化列表
期刊文章
2012 [注2] 德米特里·贝洛格拉佐夫 , 米哈伊尔·马斯胡科夫 , V.A.尼泊尔 :
使用有色Petri网对使用通信有限状态自动机指定的电信系统进行验证。 自动。 控制。 计算。 科学。 46 ( 7 ) : 387-393 ( 2012 ) 2008 [j1] 瓦莱里·A·内波米纳希 , 维克多·S·阿尔吉罗夫 , 德米特里·贝洛格拉佐夫 , 亚历山大·V·拜斯特罗夫 , 尤金·切夫塔科夫 , 塔蒂亚娜·丘里娜 :
使用高级Petri网对SDL指定的通信协议进行建模和验证。 程序。 计算。 柔和。 34 ( 6 ) : 330-340 ( 2008 )
会议和研讨会文件
2009 【c3】 德米特里·贝洛格拉佐夫 , 瓦莱里·A·内波米纳希 :
电信系统建模和验证的两级方法。 埃尔肖夫纪念大会 2009 : 70-85 2008 【c2】 瓦莱里·A·内波米纳希 , 德米特里·贝洛格拉佐夫 , 塔蒂亚娜·丘里娜 , 米哈伊尔·马斯胡科夫 :
使用彩色Petri网对电信系统进行建模和验证。 CSR公司 2008 : 360-371 2007 【c1】 瓦莱里·A·内波米纳希 , Gennady I.Alekseev先生 , 维克多·S·阿尔吉罗夫 , 德米特里·贝洛格拉佐夫 , 亚历山大·V·拜斯特罗夫 , 尤金·切夫塔科夫 , 塔蒂亚娜·丘里娜 , 谢尔盖·梅尼科夫 , 鲁斯兰·诺维科夫 :
改进的有色Petri网在SDL特定通信协议建模和验证中的应用。 CSR公司 2007 : 303-314