( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal verification of spacecraft control programs (experience report).

, , и . Haskell@ICFP, стр. 139-145. ACM, (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.

Andrey Mokhov

Andrey Gurinov

Andrey Frolov

Andrey Eremeev

Andrey Shornikov

 

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

Build Systems à La Carte, , и . Proc. ACM Program. Lang., 2 (ICFP): 79:1--79:29 (июля 2018)Reconfigurable asynchronous pipelines: From formal models to silicon., , и . DATE, стр. 1562-1567. IEEE, (2018)Complexity of Linear Operators., , , и . ISAAC, том 149 из LIPIcs, стр. 17:1-17:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Formal verification of spacecraft control programs (experience report)., , и . Haskell@ICFP, стр. 139-145. ACM, (2019)Selective Applicative Functors, , , и . (2019)United Monoids - Finding Simplicial Sets and Labelled Algebraic Graphs in Trees.. Art Sci. Eng. Program., 6 (3): 12 (2022)Efficient composition of scenario-based hardware specifications., , и . IET Comput. Digit. Tech., 13 (2): 57-69 (2019)Termination detection for fine-grained message-passing architectures., , , , , , , , и . ASAP, стр. 17-24. IEEE, (2020)Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools., и . ASYNC, стр. 43-50. IEEE Computer Society, (2018)POETS: Distributed Event-Based Computing - Scaling Behaviour., , , , , , , и . PARCO, том 36 из Advances in Parallel Computing, стр. 487-496. IOS Press, (2019)