( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Steering of real-time systems based on monitoring and checking.

, , , , и . WORDS (Fall), стр. 11-18. IEEE Computer Society, (1999)

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

 

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

Relating Syntactic and Semantic Perturbations of Hybrid Automata., , и . CONCUR, том 118 из LIPIcs, стр. 26:1-26:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Statistical model checking for unbounded until formulas., и . Int. J. Softw. Tools Technol. Transf., 17 (4): 417-427 (2015)STMC: Statistical Model Checker with Stratified and Antithetic Sampling., , , , и . CAV (2), том 12225 из Lecture Notes in Computer Science, стр. 448-460. Springer, (2020)How Can Automatic Feedback Help Students Construct Automata?, , , , , и . ACM Trans. Comput. Hum. Interact., 22 (2): 9:1-9:24 (2015)Deciding Accuracy of Differential Privacy Schemes., , , , и . CoRR, (2020)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)Exact quantitative probabilistic model checking through rational search., , , , и . Formal Methods Syst. Des., 56 (1): 90-126 (2020)Spot-Checkers., , , , и . J. Comput. Syst. Sci., 60 (3): 717-751 (2000)