基于LOTOS的动态模型的形式化研究

蒋学文代劲冯正超

重庆邮电学院学报（自然科学版）2006，Vol.18Issue(5)：637-641,5.

Study of formalization of dynamic model based on LOTOS

蒋学文 ¹代劲 ¹冯正超²

作者信息

动态模型/形式化/LOTOS/面对对象

信息技术与安全科学

蒋学文,代劲,冯正超..基于LOTOS的动态模型的形式化研究[J].重庆邮电学院学报（自然科学版）,2006,18(5):637-641,5.

重庆市教育科学技术研究项目、重庆邮电大学教改项目资助(XJG0516) （XJG0516）

OACSTPCD

ISSN：1673-825X

访问量0

下载量0

段落导航