PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Jagadeesan, Lalita Jategaonkar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Auditdraw: Generating Audits the FAST Way.

, , , und . RE, Seite 188-197. IEEE Computer Society, (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.

Keine Personen gefunden für den Autorennamen Jagadeesan, Lalita Jategaonkar
Eine Person hinzufügen mit dem Namen Jagadeesan, Lalita Jategaonkar
 

Weitere Publikationen von Autoren mit dem selben Namen

Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events., , , , und . ICCL, Seite 58-67. IEEE Computer Society, (1998)Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report)., , , , und . ICSE, Seite 525-535. ACM, (1997)Auditdraw: Generating Audits the FAST Way., , , und . RE, Seite 188-197. IEEE Computer Society, (1997)Passive mid-stream monitoring of real-time properties., und . EMSOFT, Seite 343-352. ACM, (2005)Programming the Network: Application Software Faults in Software-Defined Networks., und . ISSRE Workshops, Seite 125-131. IEEE Computer Society, (2016)Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract)., und . AMAST, Volume 936 von Lecture Notes in Computer Science, Seite 277-291. Springer, (1995)Automated systematic testing for constraint-based interactive services., , , und . SIGSOFT FSE, Seite 40-49. ACM, (2000)Sisl: Several Interfaces, Single Logic., , , , , , , und . I. J. Speech Technology, 3 (2): 93-108 (2000)Using Dialog and Context in a Speech-Based interface for an Information Visualization Environment., , , , und . Advanced Visual Interfaces, Seite 274-275. ACM Press, (2000)Specification-based testing of reactive software: A case study in technology transfer., , , , und . Journal of Systems and Software, 40 (3): 249-262 (1998)