PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Sharma, Babita"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Detection of Runtime Errors in MISRA C Programs: A Deductive Approach.

, , , , und . SAFECOMP, Volume 4680 von Lecture Notes in Computer Science, Seite 491-504. Springer, (2007)

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.

Kanuj Sharma University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Detection of Runtime Errors in MISRA C Programs: A Deductive Approach., , , , und . SAFECOMP, Volume 4680 von Lecture Notes in Computer Science, Seite 491-504. Springer, (2007)Bounded Validity Checking of Interval Duration Logic., , und . TACAS, Volume 3440 von Lecture Notes in Computer Science, Seite 301-316. Springer, (2005)Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems., , und . Logical Methods in Computer Science, (2008)Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems., , und . FoSSaCS, Volume 4423 von Lecture Notes in Computer Science, Seite 123-137. Springer, (2007)Structure and Mechanism of a Transmission Blocking Vaccine Candidate Protein Pfs25 from P. falciparum: A Molecular Modeling and Docking Study.. In Silico Biology, 8 (3-4): 193-206 (2008)Assertion checking environment (ACE) for formal verification of C programs., , und . Rel. Eng. & Sys. Safety, 81 (3): 281-290 (2003)Assertion Checking Environment (ACE) for Formal Verification of C Programs., , und . SAFECOMP, Volume 2434 von Lecture Notes in Computer Science, Seite 284-295. Springer, (2002)