( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Optimal Reachability in Cost Time Petri Nets.

, , , , и . FORMATS, том 10419 из Lecture Notes in Computer Science, стр. 58-73. Springer, (2017)

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.

Olivier Roux

Pascale Roux

Vergleich psychologischer Usability-Evaluationsmethoden am Beispiel einer Bibliothekswebsite. Uni Duisburg-Essen, (2008)

Gundela Roux-Spangenberg

Roland Rouxel

Alfred Roux

 

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

Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets., , и . Petri Nets, том 11522 из Lecture Notes in Computer Science, стр. 406-425. Springer, (2019)State space computation and analysis of Time Petri Nets., , и . Theory Pract. Log. Program., 6 (3): 301-320 (2006)Adaptability of automated driving systems to the hazardous nature of road networks., , , и . ITSC, стр. 1-6. IEEE, (2017)Formal verification of real-time systems with preemptive scheduling., и . Real Time Syst., 41 (2): 118-151 (2009)Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation., и . ICATPN, том 3099 из Lecture Notes in Computer Science, стр. 371-390. Springer, (2004)Control of Real-Time Systems With Integer Parameters., , и . IEEE Trans. Autom. Control., 67 (1): 75-88 (2022)Logical time control of concurrent DES., , и . Discret. Event Dyn. Syst., 31 (2): 185-217 (2021)The expressive power of time Petri nets., , , , и . Theor. Comput. Sci., (2013)Parametric Model-Checking of Stopwatch Petri Nets., , и . J. Univers. Comput. Sci., 15 (17): 3273-3304 (2009)Formal verification process of the compliance of a multicore AUTOSAR OS., , и . Softw. Qual. J., 31 (2): 497-531 (июня 2023)