( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Parametric Analyses of Attack-Fault Trees.

, , , и . ACSD, стр. 33-42. IEEE, (2019)

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.

Abdelhakim Limem

Leo Didier

Didier Béton

Didier Sangiorgio

Frédéric Didier

 

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

Timed Non-interference Under Partial Observability and Bounded Memory., , и . FORMATS, том 14138 из Lecture Notes in Computer Science, стр. 122-137. Springer, (2023)A Turn-Based Approach for Qualitative Time Concurrent Games., , и . Petri Nets, том 12734 из Lecture Notes in Computer Science, стр. 76-92. Springer, (2021)An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs., , и . LATA, том 12638 из Lecture Notes in Computer Science, стр. 279-290. Springer, (2021)On the Expressive Power of Invariants in Parametric Timed Automata., , и . ICECCS, стр. 87-96. IEEE, (2019)Control of DES with Urgency, Avoidability and Ineluctability., , и . ACSD, стр. 92-101. IEEE, (2019)Analysis of Polka Contention Manager for use in Multicore Hard Real-Time Systems., , и . RTNS, стр. 11-21. ACM, (2020)Model Checking of Time Petri Nets Using the State Class Timed Automaton., и . Discrete Event Dynamic Systems, 16 (2): 179-205 (2006)Synthesis of Non-Interferent Timed Systems., , , и . FORMATS, том 5813 из Lecture Notes in Computer Science, стр. 28-42. Springer, (2009)Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata., , , , и . TiCSA@ETAPS, том 392 из EPTCS, стр. 1-26. (2023)A State Class Based Controller Synthesis Approach for Time Petri Nets., , и . Petri Nets, том 13929 из Lecture Notes in Computer Science, стр. 393-414. Springer, (2023)