一种基于有限精度时间自动机的模型检测工具

Authors
Publication date
1 January 2006
Publisher

Abstract

基于有限精度时间自动机模型,实现了一种新的数据结构———SDS,用SDS符号化表示状态空间的实时系统模型检测工具,并进行了初步的实验分析,取得了良好的效果

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Institute Of Software, Chinese Academy Of Sciences

    redirect
    oaioai:ir.iscas.ac.cn:311060/1188...
    Last time updated on 30/12/2017