Hits:
Affiliation of Author(s):计算机科学与技术学院/人工智能学院/软件学院
Title of Paper:一种基于遗传算法的概率假设-保证验证方法与实现
Journal:南京邮电大学学报
Translation or Not:no
Date of Publication:2019-06-27
Co-author:马艳
Correspondence Author:Cao Zi Ning
Pre One:Genetic Algorithm-Based Learning Assumption for Assume-Guarantee Reasoning in Stochastic Model Checking
Next One:A Specification with Performance Evaluation for Probabilistic Timed Automata