524 search results - page 28 / 105 » Temporal reachability graphs |
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
103
Voted
MFCS
1998
Springer
15 years 7 months ago
1998
Springer
61
Voted
AAAI
2010
15 years 4 months ago
2010
71
Voted
KDD
2010
ACM
15 years 1 months ago
2010
ACM
112
click to vote
ICMCS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents a formal approach based on the RTLOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS spec...