( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
PsALM: specification of dependable robotic missions.

, , , и . ICSE (Companion Volume), стр. 99-102. IEEE / ACM, (2019)

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.

Claudio Puschel

Claudio Meiss

Claudio Wilmanns

Paoloni Claudio

Claudio Narcisi

 

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

High-level mission specification for multiple robots., , , , и . SLE, стр. 127-140. ACM, (2019)RoboMAX: Robotic Mission Adaptation eXemplars., , , , , , , , , и 3 other автор(ы). SEAMS@ICSE, стр. 245-251. IEEE, (2021)Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors., , , и . ESEC/SIGSOFT FSE, стр. 27-38. ACM, (2019)Towards Agile Verification., , и . Perspectives on the Future of Software Engineering, стр. 31-47. Springer, (2013)A Control-Theoretic Approach to Self-adaptive Systems and an Application to Cloud-Based Software., , , и . LASER Summer School, том 8987 из Lecture Notes in Computer Science, стр. 63-83. Springer, (2014)Dealing with Incompleteness in Automata-Based Model Checking., , и . FM, том 9995 из Lecture Notes in Computer Science, стр. 531-550. (2016)Integrating Topological Proofs with Model Checking to Instrument Iterative Design., , и . CoRR, (2018)Dealing with incompleteness in automata based model checking.. Polytechnic University of Milan, Italy, (2015)From model checking to a temporal proof for partial models: preliminary example., , , , и . CoRR, (2017)PsALM: specification of dependable robotic missions., , , и . ICSE (Companion Volume), стр. 99-102. IEEE / ACM, (2019)