Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Pathak, Drashti"'
Publikováno v:
Computer Aided Verification - 34rd International Conference, CAV 2022
Morgan and McIver's weakest pre-expectation framework is one of the most well-established methods for deductive verification of probabilistic programs. Roughly, the idea is to generalize binary state assertions to real-valued expectations, which can
Externí odkaz:
http://arxiv.org/abs/2106.05421
Publikováno v:
International Journal of Pharmaceutical Research (09752366). Apr-Jun2021, Vol. 13 Issue 2, p2739-2748. 10p.
Publikováno v:
In Applications of Polymers in Drug Delivery Edition: Second Edition. 2021:159-185
Autor:
Amrutiya, Jitendra, Bahadur, Pratap, Baradia, Dipesh, Bardoliwala, Denish, Bhatt, Priyanka, Bhowmick, Subhas, Chougule, Mahavir B., Dabke, Amit, Ghosh, Saikat, Haware, Rahul V., Inamdar, Nazma, Inamdar, Nazma N., Javia, Ankit, Khatri, Nirav, Kolte, Atul, Kore, Girish, Kotha, Arun K., Kuperkar, Ketan, Lalan, Manisha S., Lalani, Rohan, Mahajan, Ashok, Mishra, Pooja, Misra, Ambikanandan, Mourya, Vishnukant, Mourya, Vishnukant K., Patel, Akanksha, Patel, Deepa, Patel, Vivek N., Pathak, Anjali, Pathak, Drashti, Patil, Sushilkumar, Rathi, Mohan, Samant, Rajan, Shahiwala, Aliasgar, Surti, Naazneen, Talele, Dipali, Tandel, Hemal, Tiwari, Sanjay, Trehan, Sonia, Vhora, Imran, Vinjamuri, Bhavani Prasad, Yewale, Chetan
Publikováno v:
In Applications of Polymers in Drug Delivery Edition: Second Edition. 2021:xi-xiii