Further, we compared our experimental implementation with the highly efficient state-of-the-art tool Kronos. ... Reachability analysis in a multi-clock setting over discrete time has been considered, and extensions for real-time symbolic model anbsp;...
|Title||:||Sixth International Conference on Real-Time Computing Systems and Applications|
|Author||:||Jōhō Shori Gakkai (Japan), IEEE Computer Society. Technical Committee on Real-Time Systems|
|Publisher||:||IEEE - 1999|