( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Compositionality for Improving Model Checking.

. FORTE, том 183 из IFIP Conference Proceedings, стр. 105-120. Kluwer, (2000)

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.

Antonella Nicoletti

Antonella Balestra

Antonella Lauri

Antonella Ippolito

Antonella Colaiuda

 

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

Abstract Interpretation of Trace Semantics for Concurrent Calculi., , , и . Inf. Process. Lett., 70 (2): 69-78 (1999)Compositionality for Improving Model Checking.. FORTE, том 183 из IFIP Conference Proceedings, стр. 105-120. Kluwer, (2000)Real-Time SCADA Attack Detection by Means of Formal Methods., , и . WETICE, стр. 231-236. IEEE, (2019)Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique., , , и . WETICE, стр. 249-254. IEEE, (2019)Integrating Model Driven and Model Checking to Mine Design Patterns., , , , и . ICSOFT (Selected Papers), том 586 из Communications in Computer and Information Science, стр. 99-117. Springer, (2015)High Grade Brain Cancer Segmentation by means of Deep Learning., , , и . KES, том 207 из Procedia Computer Science, стр. 1633-1640. Elsevier, (2022)Explainable Deep Learning for Face Mask Detection., , , , и . KES, том 225 из Procedia Computer Science, стр. 128-133. Elsevier, (2023)Exploiting Supervised Machine Learning for Driver Detection in a Real-World Environment., , , , , , и . KES, том 192 из Procedia Computer Science, стр. 2440-2449. Elsevier, (2021)Detecting Call Indirection Obfuscation through Equivalence Checking in Android environment., , , и . KES, том 192 из Procedia Computer Science, стр. 1659-1669. Elsevier, (2021)Machine learning for coronavirus covid-19 detection from chest x-rays., , , и . KES, том 176 из Procedia Computer Science, стр. 2212-2221. Elsevier, (2020)