( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Formalism for Stochastic Adaptive Systems.

, , и . ISoLA (2), том 8803 из Lecture Notes in Computer Science, стр. 160-176. Springer, (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.

Benoît Cordonnier

Non-Newtonian effects in silicate liquids and crystal bearing melts: implication for magma dynamics. Uni München, (2009)

Benoît Mindzeng

Benoît Vaugon

Benoît Delahaye

Benoît Bertholon

 

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

Certifying a Tree Automata Completion Checker., , и . IJCAR, том 5195 из Lecture Notes in Computer Science, стр. 523-538. Springer, (2008)Equational Abstraction Refinement for Certified Tree Regular Model Checking., , , и . ICFEM, том 7635 из Lecture Notes in Computer Science, стр. 299-315. Springer, (2012)Automatic Vulnerability Identification and Security Installation with Type Checking for Source Code., , , , и . NBiS, том 1036 из Advances in Intelligent Systems and Computing, стр. 292-304. Springer, (2019)Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems, и . RULE, том 21 из EPTCS, стр. 99-108. (2009)PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library., , , и . QEST, том 8054 из Lecture Notes in Computer Science, стр. 160-164. Springer, (2013)A Formalism for Stochastic Adaptive Systems., , и . ISoLA (2), том 8803 из Lecture Notes in Computer Science, стр. 160-176. Springer, (2014)Compositional Proofs in Differential Dynamic Logic dL., , и . ACSD, стр. 19-28. IEEE Computer Society, (2017)Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic., , , и . FM, том 11800 из Lecture Notes in Computer Science, стр. 354-370. Springer, (2019)A Trusted Approach to Design a Network Monitor., , , , , и . FormaliSE@ICSE, стр. 17-23. IEEE, (2017)A Mechanically Verified Theory of Contracts., , и . ICTAC, том 12819 из Lecture Notes in Computer Science, стр. 134-151. Springer, (2021)