( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From Time Petri Nets to Timed Automata: An Untimed Approach.

, , , и . TACAS, том 4424 из Lecture Notes in Computer Science, стр. 216-230. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jeremy Cohen

Jérémy Bluteau

Jeremy Debattista

Jérémy Huart

Jérémy Fix

 

Другие публикации лиц с тем же именем

Performance analysis of probabilistic timed automata using digital clocks., , , и . Formal Methods Syst. Des., 29 (1): 33-78 (2006)CSL Model Checking for the GreatSPN Tool., , и . ISCIS, том 3280 из Lecture Notes in Computer Science, стр. 543-552. Springer, (2004)Model Checking for Probabilistic Timed Systems.. Validation of Stochastic Systems, том 2925 из Lecture Notes in Computer Science, стр. 189-229. Springer, (2004)From Time Petri Nets to Timed Automata: An Untimed Approach., , , и . TACAS, том 4424 из Lecture Notes in Computer Science, стр. 216-230. Springer, (2007)Decidable Model Checking of Probabilistic Hybrid Automata.. FTRTFT, том 1926 из Lecture Notes in Computer Science, стр. 31-45. Springer, (2000)Verification and Control of Probabilistic Rectangular Hybrid Automata.. FORMATS, том 9268 из Lecture Notes in Computer Science, стр. 1-9. Springer, (2015)Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities.. FORTE, том 12136 из Lecture Notes in Computer Science, стр. 150-168. Springer, (2020)Probabilistic Timed Automata with Clock-Dependent Probabilities.. RP, том 10506 из Lecture Notes in Computer Science, стр. 144-159. Springer, (2017)Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives., , и . CONCUR, том 203 из LIPIcs, стр. 25:1-25:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Qualitative Reachability for Open Interval Markov Chains.. RP, том 11123 из Lecture Notes in Computer Science, стр. 146-160. Springer, (2018)