Pavithra Prabhakar – författare

Visar alla böcker från författaren Pavithra Prabhakar.

3 produkter

1. 

   Formal Modeling and Analysis of Timed Systems

   16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

   Av David N. Jansen, Pavithra Prabhakar

   Häftad, 2018

   739 kr

   Lägg i varukorg

2. 

   Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

   Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings

   Av Pavithra Prabhakar, Andrea Vandin

   Häftad, 2025

   1329 kr

   Lägg i varukorg

3. 

   Numerical Software Verification

   9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

   Av Sergiy Bogomolov, Matthieu Martel m. fl.

   Häftad, 2017

   739 kr

   Lägg i varukorg