UML状态机的模型检验方法

UML状态机的模型检验方法的英文翻译

基本释义

• Model Checking of UML State Machines