Real-time system analysis based on state-space exploration

Authors:
Inhye Kang
Affiliations:
-
Venue:
Real-time system analysis based on state-space exploration
Year:
1997

Citing 0
Cited 2

An efficient state space generation for analysis of real-time systems

ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
An Efficient State Space Generation for the Analysis of Real-Time Systems

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract