( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Inference of Extended Finite State Machines.

, , , и . Arch. Formal Proofs, (2020)

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

Kopf Achim

Nicolae Achimescu

Brauer Achim

 

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

Time for Addressing Software Security Issues: Prediction Models and Impacting Factors., , , , и . Data Sci. Eng., 2 (2): 107-124 (2017)Formalizing (Web) Standards - An Application of Test and Proof., и . TAP, том 10889 из Lecture Notes in Computer Science, стр. 159-166. Springer, (2018)Extensible Universes for Object-Oriented Data Models., и . ECOOP, том 5142 из Lecture Notes in Computer Science, стр. 438-462. Springer, (2008)Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study., и . FMICS, том 6371 из Lecture Notes in Computer Science, стр. 17-32. Springer, (2010)Integrating Automated and Interactive Protocol Verification., и . Formal Aspects in Security and Trust, том 5983 из Lecture Notes in Computer Science, стр. 248-262. Springer, (2009)An MDA Framework Supporting OCL., , и . ECEASST, (2006)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)Model Transformation as Conservative Theory-Transformation., , и . J. Object Technol., 19 (3): 3:1-16 (2020)