查看会员资料
用 户 名:刘****
发送消息- Email:用户隐藏
- Icq/MSN:
- 电话号码:
- Homepage:
- 会员简介:
最新会员发布资源
system_monitor
- 用于系统行为验证。给出系统运行的观测数据,给定一个用MTL形式化语言描述的表达式,运行结果为该系统行为在此形式化表达式上的鲁棒值。-it is a tool for the computation of the robustness of a propositional temporal logic specification with respect to a discrete time signal.