( en | de | ru )

 

Disambiguierung von "Sridhar, Nigamanth"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Case Study in Verification of Embedded Network Software.

, , , , , und . NASA Formal Methods, Volume 7226 von Lecture Notes in Computer Science, Seite 433-448. Springer, (2012)

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.

Sridhar Vempati

Sridhar Boppana

Srinivasan Sridhar

Sridhar Adapa

Sridhar Arumugam

 

Weitere Publikationen von Autoren mit dem selben Namen

Lazy Snapshorts., und . IASTED PDCS, Seite 96-101. IASTED/ACTA Press, (2002)GenQA: automated addition of architectural quality attribute support for Java software?, und . SAC, Seite 483-487. ACM, (2009)DESAL ^: A Framework For Implementing Self-stabilizing Embedded Network Applications., , , , , und . IoT 360 (2), Volume 170 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 307-312. (2015)Decentralized Local Failure Detection in Dynamic Distributed Systems.. SRDS, Seite 143-154. IEEE Computer Society, (2006)A Behavioral Model for Software Containers., und . FASE, Volume 3922 von Lecture Notes in Computer Science, Seite 139-154. Springer, (2006)A Wrapper-Based Approach to Sustained Time Synchronization in Wireless Sensor Networks., und . ICCCN, Seite 209-214. IEEE, (2008)Utilization of a wrist-mounted accelerometer to count movement repetitions., , , , und . COMSNETS, Seite 1-6. IEEE, (2012)Microteaching: Recursion, Coding Style, Creative Coding, Inheritance and Polymorphism, Loops, and the Internet., , , , , , und . SIGCSE, Seite 962-963. ACM, (2019)Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies., , und . ICSR, Volume 2319 von Lecture Notes in Computer Science, Seite 309-326. Springer, (2002)A Container-Based Approach to Object-Oriented Product Lines., , , , und . J. Object Technol., 3 (4): 161-175 (2004)