( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards a Runtime Verification Approach for Internet of Things Systems.

, , , , , и . ICWE Workshops, том 11153 из Lecture Notes in Computer Science, стр. 83-96. Springer, (2018)

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.

Romain Franceschini

Luca Rizzini

Luca Tranchini

Luca Tuninetti

Luca Criscuolo

 

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

Structural Resolution for Abstract Compilation of Object-Oriented Languages., , и . CoALP-Ty, том 258 из EPTCS, стр. 19-35. (2016)An Abstract Machine for Asynchronous Programs with Closures and Priority Queues., , , , , , и . RP, том 10506 из Lecture Notes in Computer Science, стр. 59-74. Springer, (2017)Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things., , , , , и . ALP4IoT@iFM, том 264 из EPTCS, стр. 27-42. (2017)Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study., , , , , , и . ENASE, стр. 434-441. SciTePress, (2019)A formalism for specification of Java API interfaces., , и . ISSTA/ECOOP Workshops, стр. 24-26. ACM, (2018)ROSMonitoring: A Runtime Verification Framework for ROS., , , , , и . TAROS, том 12228 из Lecture Notes in Computer Science, стр. 387-399. Springer, (2020)A Deterministic Event Calculus for Effective Runtime Verification., , , и . ICTCS, том 2504 из CEUR Workshop Proceedings, стр. 248-260. CEUR-WS.org, (2019)Towards an Acceptance Testing Approach for Internet of Things Systems., , , , , , и . ICWE Workshops, том 10544 из Lecture Notes in Computer Science, стр. 125-138. Springer, (2017)Resource Analysis of Ethereum 2.0 Clients., , и . CoRR, (2020)An acceptance testing approach for Internet of Things systems., , , , , , , и . IET Softw., 12 (5): 430-436 (2018)