( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Zertifizierte Datensicherheit für Android-Anwendungen auf Basis statischer Programmanalysen.

, , , , , , , , и . Sicherheit, том P-228 из LNI, стр. 283-291. GI, (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.

Achim Peer Brucker

Pelina Achimu

Brauer Achim

Nicolae Achimescu

Kopf Achim

 

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

Isabelle/DOF: Design and Implementation., и . SEFM, том 11724 из Lecture Notes in Computer Science, стр. 275-292. Springer, (2019)Incorporating Data into EFSM Inference., , , , и . SEFM, том 11724 из Lecture Notes in Computer Science, стр. 257-272. Springer, (2019)Using Ontologies in Formal Developments Targeting Certification., и . IFM, том 11918 из Lecture Notes in Computer Science, стр. 65-82. Springer, (2019)A Formal Model of Extended Finite State Machines., , , и . Arch. Formal Proofs, (2020)Automated Stateful Protocol Verification., , , и . Arch. Formal Proofs, (2020)Stateful Protocol Composition in Isabelle/HOL., , и . ACM Trans. Priv. Secur., 26 (3): 25:1-25:36 (августа 2023)Model Transformation as Conservative Theory-Transformation., , и . J. Object Technol., 19 (3): 3:1-16 (2020)Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study., и . FMICS, том 6371 из Lecture Notes in Computer Science, стр. 17-32. Springer, (2010)Formalizing (Web) Standards - An Application of Test and Proof., и . TAP, том 10889 из Lecture Notes in Computer Science, стр. 159-166. Springer, (2018)An MDA Framework Supporting OCL., , и . ECEASST, (2006)