( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Calculating Probabilities of Real-Time Test Cases.

, , и . FATES, том 3997 из Lecture Notes in Computer Science, стр. 134-151. Springer, (2005)

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.

Doron Lahav

Yishai Peled

Doron Merkler

tefan Dorondel

Guy Doron

 

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

Black Box Checking., , и . FORTE, том 156 из IFIP Conference Proceedings, стр. 225-240. Kluwer, (1999)An improvement in formal verification., и . FORTE, том 6 из IFIP Conference Proceedings, стр. 197-211. Chapman & Hall, (1994)Formal Methods for Message Sequence Charts.. ICDCS Workshop on Distributed System Validation and Verification, стр. E7-E13. (2000)Formal Verification of a Partial-Order Reduction Technique for Model Checking., и . TACAS, том 1055 из Lecture Notes in Computer Science, стр. 241-257. Springer, (1996)Parametric Temporal Logic for "Model Measuring"., , , и . ICALP, том 1644 из Lecture Notes in Computer Science, стр. 159-168. Springer, (1999)On Commutativity Based Edge Lean Search., , , и . ICALP, том 4596 из Lecture Notes in Computer Science, стр. 158-170. Springer, (2007)Monitoring Parametric Temporal Logic., , и . VMCAI, том 8318 из Lecture Notes in Computer Science, стр. 357-375. Springer, (2014)PET: An Interactive Software Testing Tool., , и . CAV, том 1855 из Lecture Notes in Computer Science, стр. 552-556. Springer, (2000)Combining Partial Order Reductions with On-the-fly Model-Checking.. CAV, том 818 из Lecture Notes in Computer Science, стр. 377-390. Springer, (1994)Sometimes 'Some' is as Good as 'All'.. CONCUR, том 630 из Lecture Notes in Computer Science, стр. 192-206. Springer, (1992)