Searching for "Performance analysis of probabilistic timed automata using digital clocks." – 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.

Performance analysis of probabilistic timed automata using digital clocks
by Marta Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston — 2003 — Proc. Formal Modeling and Analysis of Timed Systems (FORMATS��03), volume 2791 of LNCS
… Performance Analysis of Probabilistic Timed Automata using Digital Clocks? Marta Kwiatkowska1…
Cited by 23 (12 self) – Add To MetaCart

Performance Analysis of Probabilistic Timed
by Automata Using Digital, Marta Kwiatkowska, David Parker, Jeremy Sproston
…Performance Analysis of Probabilistic Timed Automata using Digital Clocks Marta Kwiatkowska 1…
Add To MetaCart

Showing 1 through 2.

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