( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Searching for i-Good Lemmas to Accelerate Safety Model Checking.

, , , , , и . CAV (2), том 13965 из Lecture Notes in Computer Science, стр. 288-308. Springer, (2023)

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.

Heike Anna Brücker

Dirk Annacker

Thomas Annan

Carola Annas

John A Anna Selva

 

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

A Conversion Procedure for NNC Polyhedra., и . CoRR, (2017)Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281)., , , , и . Dagstuhl Reports, 13 (7): 66-95 (2023)PPLite: Zero-overhead encoding of NNC polyhedra., и . Inf. Comput., (2020)Searching for i-Good Lemmas to Accelerate Safety Model Checking., , , , , и . CAV (2), том 13965 из Lecture Notes in Computer Science, стр. 288-308. Springer, (2023)Synthesis of P-Stable Abstractions., , и . SEFM, том 12310 из Lecture Notes in Computer Science, стр. 214-230. Springer, (2020)SMT-Based Stability Verification of an Industrial Switched PI Control Systems., , , , , , , , и . DSN-W, стр. 243-250. IEEE, (2023)Reverse engineering with P-stable Abstractions., , и . OVERLAY@GandALF, том 2987 из CEUR Workshop Proceedings, стр. 91-95. CEUR-WS.org, (2021)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)Revisiting Polyhedral Analysis for Hybrid Systems., и . SAS, том 11822 из Lecture Notes in Computer Science, стр. 183-202. Springer, (2019)P-stable abstractions of hybrid systems., , и . Softw. Syst. Model., 23 (2): 403-426 (апреля 2024)