( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report).

, , , , и . ICSE, стр. 525-535. ACM, (1997)

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.

Sakthimala Jagadeesan

Swati Ravindra Jategaonkar

Lalita-Narhar Deshpande

Smita Ravindra Jategaonkar

 

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

Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report)., , , , и . ICSE, стр. 525-535. ACM, (1997)Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events., , , , и . ICCL, стр. 58-67. IEEE Computer Society, (1998)Automated systematic testing for constraint-based interactive services., , , и . SIGSOFT FSE, стр. 40-49. ACM, (2000)Using Dialog and Context in a Speech-Based interface for an Information Visualization Environment., , , , и . Advanced Visual Interfaces, стр. 274-275. ACM Press, (2000)Sisl: Several Interfaces, Single Logic., , , , , , , и . Int. J. Speech Technol., 3 (2): 93-108 (2000)Specification-based testing of reactive software: A case study in technology transfer., , , , и . J. Syst. Softw., 40 (3): 249-262 (1998)Passive mid-stream monitoring of real-time properties., и . EMSOFT, стр. 343-352. ACM, (2005)Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract)., и . AMAST, том 936 из Lecture Notes in Computer Science, стр. 277-291. Springer, (1995)When Failure is (Not) an Option: Reliability Models for Microservices Architectures., и . ISSRE Workshops, стр. 19-24. IEEE, (2020)Analytics-Enhanced Automated Code Verification for Dependability of Software-Defined Networks., и . ISSRE Workshops, стр. 139-145. IEEE Computer Society, (2017)