Dept. of Info. and Comm., Kwangju Institute of Science and Technology 1 Oryong-dong Puk-gu, Kwangju, 500-712, Korea;
time petri net; state space explosion; class; class graph; compact class (C-class); C-class graph;
机译:用于分析实时系统的高效状态空间生成
机译:实时抢占式系统的定时状态空间分析
机译:实时抢占式系统的定时状态空间分析
机译:有效的时间状态空间,用于分析实时系统
机译:用于设计空间探索和分布式实时嵌入式系统优化的高效技术。
机译:特征空间和结构时态数据学习系统及其在实时通信网络验证数据用例中的应用
机译:用于实时系统分析的高效状态空间生成
机译:实时系统中高效算法执行的计算机体系结构:航空电子系统和先进空间飞行器的新技术