( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Forum Session: Security for Wireless Sensor Networks.

, , , , и . ACSAC, стр. 106-107. IEEE Computer Society, (2003)

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.

Horst Bruno

Eugen Bruno

Horst Bruno

Armin Bruno

Axel Brunold

 

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

Property-directed k-induction., и . FMCAD, стр. 85-92. IEEE, (2016)Layered Diagnosis and Clock-Rate Correction for the TTEthernet Clock Synchronization Protocol., и . PRDC, стр. 244-253. IEEE Computer Society, (2011)Forum Session: Security for Wireless Sensor Networks., , , , и . ACSAC, стр. 106-107. IEEE Computer Society, (2003)Formal Modeling and Analysis of the Modbus Protocol.. Critical Infrastructure Protection, том 253 из IFIP, стр. 189-204. Springer, (2007)Verification of an Optimized NTT Algorithm., , и . VSTTE, том 12549 из Lecture Notes in Computer Science, стр. 144-160. Springer, (2020)A Formalization of Software Architecture., , , и . World Congress on Formal Methods, том 1708 из Lecture Notes in Computer Science, стр. 116-133. Springer, (1999)LibPoly: A Library for Reasoning about Polynomials., и . SMT, том 1889 из CEUR Workshop Proceedings, стр. 28-39. CEUR-WS.org, (2017)Simplex with sum of infeasibilities for SMT., , и . FMCAD, стр. 189-196. IEEE, (2013)SMT-Based Formal Verification of a TTEthernet Synchronization Function., и . FMICS, том 6371 из Lecture Notes in Computer Science, стр. 148-163. Springer, (2010)Program Synthesis Using Dual Interpretation., , и . CADE, том 9195 из Lecture Notes in Computer Science, стр. 482-497. Springer, (2015)