( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Efficient Analysis of Reliability Architectures via Predicate Abstraction.

, , и . Haifa Verification Conference, том 8244 из Lecture Notes in Computer Science, стр. 279-294. Springer, (2013)

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.

Cristian Sommariva

Cristian Chitu

Cristian Picioreanu

Cristian Weiss

Cristian Cosentino

 

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

EMME: A Formal Tool for ECMAScript Memory Model Evaluation., , , , и . TACAS (2), том 10806 из Lecture Notes in Computer Science, стр. 55-71. Springer, (2018)Model-based Safety Assessment of a Triple Modular Generator with xSAP., , , , и . Formal Aspects Comput., 33 (2): 251-295 (2021)CoSA: Integrated Verification for Agile Hardware Design., , , , , и . FMCAD, стр. 1-5. IEEE, (2018)Scalable Safety and Reliability Analysis via Symbolic Model Checking: Theory and Applications.. University of Trento, Italy, (2016)Formal Safety Assessment via Contract-Based Design., , , и . ATVA, том 8837 из Lecture Notes in Computer Science, стр. 81-97. Springer, (2014)Efficient Analysis of Reliability Architectures via Predicate Abstraction., , и . Haifa Verification Conference, том 8244 из Lecture Notes in Computer Science, стр. 279-294. Springer, (2013)Automated Analysis of Reliability Architectures., , и . ICECCS, стр. 198-207. IEEE Computer Society, (2013)Formal reliability analysis of redundancy architectures., , и . Formal Aspects Comput., 31 (1): 59-94 (2019)