( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Interview with Takashi Sano.

, , и . Journal of Software Maintenance, 9 (4): 253-268 (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.

Sanjai Narain

Sanjai Mahendra Shah

 

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

Manifold-based Test Generation for Image Classifiers., и . ICSE (Workshops), стр. 221. ACM, (2020)A reference model for simulating agile processes., , и . ICSSP, стр. 82-91. ACM, (2015)Domain modeling for development process simulation., , и . ICSSP, стр. 95-99. ACM, (2017)Counterexample-Guided Inductive Repair of Reactive Contracts., , , , и . FormaliSE@ICSE, стр. 46-57. ACM, (2022)From Requirements to Code: Model Based Development of a Medical Cyber Physical System., , , , , , , , и . FHIES/SEHC, том 9062 из Lecture Notes in Computer Science, стр. 96-112. Springer, (2014)Representing Confidence in Assurance Case Evidence., , , , и . SAFECOMP Workshops, том 9338 из Lecture Notes in Computer Science, стр. 15-26. Springer, (2015)Steering model-based oracles to admit real program behaviors., , и . ICSE Companion, стр. 428-431. ACM, (2014)An agent architecture for supporting individualized services in Internet applications., , , и . ICTAI, стр. 140-147. IEEE Computer Society, (1998)Run-Time Assurance for Learning-Enabled Systems., , , , , , , , и . NFM, том 12229 из Lecture Notes in Computer Science, стр. 361-368. Springer, (2020)Design Considerations for Modeling Modes in Cyber-Physical Systems., , , и . IEEE Des. Test, 32 (5): 66-73 (2015)