( en | de | ru )

 

Disambiguierung von "Rayadurgam, Sanjai"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A reference model for simulating agile processes.

, , und . ICSSP, Seite 82-91. ACM, (2015)

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

Manifold-based Test Generation for Image Classifiers., und . ICSE (Workshops), Seite 221. ACM, (2020)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)Counterexample-Guided Inductive Repair of Reactive Contracts., , , , und . FormaliSE@ICSE, Seite 46-57. ACM, (2022)Steering model-based oracles to admit real program behaviors., , und . ICSE Companion, Seite 428-431. ACM, (2014)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)Representing Confidence in Assurance Case Evidence., , , , und . SAFECOMP Workshops, Volume 9338 von Lecture Notes in Computer Science, Seite 15-26. Springer, (2015)An agent architecture for supporting individualized services in Internet applications., , , und . ICTAI, Seite 140-147. IEEE Computer Society, (1998)Key Applications for High-Assurance Systems., , , , , , , , , und 4 andere Autor(en). Computer, 31 (4): 35-45 (1998)Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language., , und . ICFEM, Volume 2885 von Lecture Notes in Computer Science, Seite 167-186. Springer, (2003)