The description of class is extended and the corresponding Kripke structure is presented by taking general stack of Object-Z as a case.
以Object-Z的通用堆栈类为实例,对类的描述进行扩展,给出了相应的Kripke结构。
Copyright © mingxiaow.com All Rights Reserved.版权所有
本网站内容仅供参考,请以各学校实际情况为主!
工信部备案号:浙ICP备20019715号