Searching for "Parametric Timing Analysis for Real-Time Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Advances in Finite Automata and Temporal Logic for System Verification
by Xi Ciclo, Salvatore La Torre, Silvano Chiaradonna, Felicita Di Gi, Kousha Etessami, Mimmo Parente, Doron Peled — 1999
…93, HKPV98]. Parametric timing analysis for real-time systems based on extensions of CTL…
Add To MetaCart

Parametric Temporal Logic for "Model Measuring"
by Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled — 1999
… et al. 1993; Henzinger et al. 1998]. Parametric timing analysis for real-time systems based…
Cited by 13 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB