( en | de | ru )

 

Disambiguierung von "Rayadurgam, Sanjai"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Interview with Takashi Sano.

, , und . Journal of Software Maintenance, 9 (4): 253-268 (1997)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sanjai Narain

Sanjai Mahendra Shah

 

Weitere Publikationen von Autoren mit dem selben Namen

A reference model for simulating agile processes., , und . ICSSP, Seite 82-91. ACM, (2015)Domain modeling for development process simulation., , und . ICSSP, Seite 95-99. ACM, (2017)Manifold-based Test Generation for Image Classifiers., und . ICSE (Workshops), Seite 221. ACM, (2020)Counterexample-Guided Inductive Repair of Reactive Contracts., , , , und . FormaliSE@ICSE, Seite 46-57. ACM, (2022)Representing Confidence in Assurance Case Evidence., , , , und . SAFECOMP Workshops, Volume 9338 von Lecture Notes in Computer Science, Seite 15-26. Springer, (2015)From Requirements to Code: Model Based Development of a Medical Cyber Physical System., , , , , , , , und . FHIES/SEHC, Volume 9062 von Lecture Notes in Computer Science, Seite 96-112. Springer, (2014)An agent architecture for supporting individualized services in Internet applications., , , und . ICTAI, Seite 140-147. IEEE Computer Society, (1998)Steering model-based oracles to admit real program behaviors., , und . ICSE Companion, Seite 428-431. ACM, (2014)Run-Time Assurance for Learning-Enabled Systems., , , , , , , , und . NFM, Volume 12229 von Lecture Notes in Computer Science, Seite 361-368. Springer, (2020)Key Applications for High-Assurance Systems., , , , , , , , , und 4 andere Autor(en). Computer, 31 (4): 35-45 (1998)