( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Verification of Diagnosability via Symbolic Model Checking.

, , и . IJCAI, стр. 363-369. Morgan Kaufmann, (2003)

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.

Armin Cavada

Roberto Cruccolini

Roberto Sala

Roberto Fornari

Roberto Minakawa

 

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

RAT: A Tool for the Formal Analysis of Requirements., , , , и . CAV, том 4590 из Lecture Notes in Computer Science, стр. 263-267. Springer, (2007)Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks., , , , , и . FMCAD, стр. 1-9. IEEE, (2018)Formal Verification of Diagnosability via Symbolic Model Checking., , и . IJCAI, стр. 363-369. Morgan Kaufmann, (2003)Model-Based Design of an Energy-System Embedded Controller Using Taste., , , , и . FM, том 9995 из Lecture Notes in Computer Science, стр. 741-747. (2016)A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System., , , , , , , , и . ISoLA (3), том 12478 из Lecture Notes in Computer Science, стр. 240-254. Springer, (2020)Formal analysis of hardware requirements., , , , , и . DAC, стр. 821-826. ACM, (2006)NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems., , , , , , , , и . TACAS (1), том 13243 из Lecture Notes in Computer Science, стр. 125-142. Springer, (2022)A Formal IDE for Railways: Research Challenges., , , и . SEFM Workshops, том 13765 из Lecture Notes in Computer Science, стр. 107-115. Springer, (2022)COMPASTA: Extending TASTE with Formal Design and Verification Functionality., , , , , , , и . IMBSA, том 13525 из Lecture Notes in Computer Science, стр. 21-27. Springer, (2022)