( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Supporting Verification-Driven Incremental Distributed Design of Components.

, , , и . FASE, том 10802 из Lecture Notes in Computer Science, стр. 169-188. 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.

Claudio Puschel

Claudio Narcisi

Claudio Philipp

Claudio Nardi

Claudio Zuccaro

 

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

From model checking to a temporal proof for partial models: preliminary example., , , , и . CoRR, (2017)Specification Patterns for Robotic Missions., , , , и . CoRR, (2019)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)Trace Diagnostics for Signal-Based Temporal Properties., , , и . IEEE Trans. Software Eng., 49 (5): 3131-3154 (2023)Integrating Topological Proofs with Model Checking to Instrument Iterative Design., , и . FASE, том 12076 из Lecture Notes in Computer Science, стр. 53-74. Springer, (2020)PsALM: specification of dependable robotic missions., , , и . ICSE (Companion Volume), стр. 99-102. IEEE / ACM, (2019)Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification., , , и . ICSE, стр. 372-384. ACM, (2020)On requirements verification for model refinements., , , и . RE, стр. 62-71. IEEE Computer Society, (2013)Modeling, refining and analyzing Incomplete Büchi Automata., , и . CoRR, (2016)