王海涛基本介绍
王海涛，女，汉族，1975年7月生，黑龙江伊春市人，群众，副教授。2001年7月参加工作，东北林业大学农业信息化专业研究生。财经信息工程学院计算机科学与技术教研室教师。
论文发表情况
1.《基于综合性能的 Markov 过程验证与分析》，计算机工程，2013年，第二作者;
2.《基于自动机的概率计算树逻辑验证方法》，计算机工程，2013年，第二作者;
3.《基于决策图的复杂系统模型对称约减方法》，计算机工程与设计，2013年，第二作者;
4.《综合特征Markov模型稳态性质验证方法》，计算机工程与设计，2013年，第三作者。
