( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Runtime enforcement of regular timed properties.

, , , и . SAC, стр. 1279-1286. ACM, (2014)

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.

Franz-Rudolf Jerono

Andreas Jeron

Winfried Jerono

Gerd-Andreas Jeron

Thierry Somville

 

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

Runtime Enforcement of Timed Properties., , , , , и . RV, том 7687 из Lecture Notes in Computer Science, стр. 229-244. Springer, (2012)Control Strategies for Off-Line Testing of Timed Systems., , и . SPIN, том 10869 из Lecture Notes in Computer Science, стр. 171-189. Springer, (2018)Runtime Enforcement of Parametric Timed Properties with Practical Applications., , , и . WODES, стр. 420-427. International Federation of Automatic Control, (2014)A Game Approach to Determinize Timed Automata., , , и . FoSSaCS, том 6604 из Lecture Notes in Computer Science, стр. 245-259. Springer, (2011)Monitoring confidentiality by diagnosis techniques., , и . ECC, стр. 2584-2589. IEEE, (2009)3D Layout of Reachability Graphs of Communicating Processes., и . GD, том 894 из Lecture Notes in Computer Science, стр. 25-32. Springer, (1994)System Test Synthesis from UML Models of Distributed Software., , , , , и . FORTE, том 2529 из Lecture Notes in Computer Science, стр. 97-113. Springer, (2002)Runtime enforcement of regular timed properties., , , и . SAC, стр. 1279-1286. ACM, (2014)Bounded-memory Algorithms for Verification On-the-fly., и . CAV, том 575 из Lecture Notes in Computer Science, стр. 192-202. Springer, (1991)Test Generation Derived from Model-Checking., и . CAV, том 1633 из Lecture Notes in Computer Science, стр. 108-121. Springer, (1999)