Hits:

Affiliation of Author(s):计算机科学与技术学院/人工智能学院/软件学院

Title of Paper:Genetic Algorithm-Based Learning Assumption for Assume-Guarantee Reasoning in Stochastic Model Checking

Journal:The 17 th IEEE/ACIS International Conference on Software Engineering Research, Management and Applications

Translation or Not:no

Date of Publication:2019-05-29

Co-author:马艳

Correspondence Author:Cao Zi Ning