( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Conformance testing in the presence of multiple faults.

, и . SODA, стр. 1136-1145. SIAM, (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.

Viswanathan Ramaswami

Viswanathan Subramanian

Kartik Viswanathan

Mahesh Darna

Mahesh Kandasamy

 

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

Conformance testing in the presence of multiple faults., и . SODA, стр. 1136-1145. SIAM, (2005)Document recognition: an attribute grammar approach., , и . Document Recognition, том 2660 из SPIE Proceedings, стр. 101-113. SPIE, (1996)Testing and Spot-Checking of Data Streams., , , и . Algorithmica, 34 (1): 67-80 (2002)Query Automata for Nested Words., и . MFCS, том 5734 из Lecture Notes in Computer Science, стр. 561-573. Springer, (2009)Actively Learning to Verify Safety for FIFO Automata., , , и . FSTTCS, том 3328 из Lecture Notes in Computer Science, стр. 494-505. Springer, (2004)STORMED Hybrid Systems., , , и . ICALP (2), том 5126 из Lecture Notes in Computer Science, стр. 136-147. Springer, (2008)Modular Verification of Protocol Equivalence in the Presence of Randomness., , и . ESORICS (1), том 10492 из Lecture Notes in Computer Science, стр. 187-205. Springer, (2017)Quantitative Information Flow in Boolean Programs., , и . POST, том 8414 из Lecture Notes in Computer Science, стр. 103-119. Springer, (2014)Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds., , и . VMCAI, том 6538 из Lecture Notes in Computer Science, стр. 103-117. Springer, (2011)Deciding Concurrent Planar Monotonic Linear Hybrid Systems., , и . FORMATS, том 9268 из Lecture Notes in Computer Science, стр. 256-269. Springer, (2015)