( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Policy Iteration within Logico-Numerical Abstract Domains.

, , , и . ATVA, том 6996 из Lecture Notes in Computer Science, стр. 290-305. Springer, (2011)

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.

Jeannet Hommers

Bertrand Hirl

Bertrand Gloddek

Joachim Bertrand

Bertrand Malmendier

 

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

Model-Based Test Selection for Infinite-State Reactive Systems., , и . FMCO, том 4709 из Lecture Notes in Computer Science, стр. 47-69. Springer, (2006)Reachability Analysis of Probabilistic Systems by Successive Refinements., , , и . PAPM-PROBMIV, том 2165 из Lecture Notes in Computer Science, стр. 39-56. Springer, (2001)Reduction and Refinement Strategies for Probabilistic Analysis., , , и . PAPM-PROBMIV, том 2399 из Lecture Notes in Computer Science, стр. 57-76. Springer, (2002)From Safety Verification to Safety Testing., , , , и . TestCom, том 2978 из Lecture Notes in Computer Science, стр. 160-176. Springer, (2004)Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues., , и . AMAST, том 4019 из Lecture Notes in Computer Science, стр. 204-219. Springer, (2006)Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification., и . SAS, том 4634 из Lecture Notes in Computer Science, стр. 52-68. Springer, (2007)Precise Interprocedural Analysis in the Presence of Pointers to the Stack., и . ESOP, том 6602 из Lecture Notes in Computer Science, стр. 459-479. Springer, (2011)Verification of embedded control programs., , и . ECC, стр. 4252-4256. IEEE, (2013)Contrôle de systèmes symboliques, discrets ou hybrides., , и . Technique et Science Informatiques, 25 (3): 289-315 (2006)Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes.. SAS, том 2477 из Lecture Notes in Computer Science, стр. 52-68. Springer, (2002)