Zobrazeno 1 - 10
of 2 699
pro vyhledávání: '"Patil, A. V."'
Formal verification provides mathematical guarantees that a software is correct. Design-level verification tools ensure software specifications are correct, but they do not expose defects in actual implementations. For this purpose, engineers use cod
Externí odkaz:
http://arxiv.org/abs/2410.14818
Publikováno v:
European Journal of Cardiovascular Medicine. 2024, Vol. 14 Issue 4, p349-359. 11p.
Autor:
Pathan, Sumayya C., Shaikh, Jasmin S., Rittiruam, Meena, Saelee, Tinnakorn, Márquez, Victor, Khajondetchairit, Patcharaporn, Mali, Sawanta S., Patil, Jyoti V., Hong, Chang Kook, Praserthdam, Piyasan, Praserthdam, Supareak
Publikováno v:
In Journal of Alloys and Compounds 15 December 2024 1008
Autor:
Gurav, Sunny R., Shembade, Umesh V., Patil, Ashwini V., Waikar, Maqsood R., Sonkawade, Aniket R., Vhatkar, Rajiv S., Moholkar, Annasaheb V., Sonkawade, Rajendra G.
Publikováno v:
In Materials Today Sustainability December 2024 28
Autor:
Patil, Tejal V., Jin, Hexiu, Dutta, Sayan Deb, Aacharya, Rumi, Chen, Kehan, Ganguly, Keya, Randhawa, Aayushi, Lim, Ki-Taek
Publikováno v:
In Carbohydrate Polymers 15 November 2024 344
Autor:
Patil, Sharad V., Dulait, Keshram, Shirkole, Shivanand S., Thorat, Bhaskar N., Deshmukh, Suresh P.
Publikováno v:
In International Journal of Biological Macromolecules November 2024 280 Part 2
Autor:
Dutta, Sayan Deb, An, Jeong Man, Hexiu, Jin, Randhawa, Aayushi, Ganguly, Keya, Patil, Tejal V., Thambi, Thavasyappan, Kim, Jangho, Lee, Yong-kyu, Lim, Ki-Taek
Publikováno v:
In Bioactive Materials March 2025 45:345-362
Autor:
Kumbhar, Maruti B., Patil, Vinod V., Chandak, Vaishali S., Gunjakar, Jayavant L., Kulal, Prakash M.
Publikováno v:
In Journal of Alloys and Compounds 5 January 2025 1010
Autor:
Mandawade, Satish S., Wagh, Rajendra V., Yewale, Chetan R., Qadir, Karwan Wasman, Abdullah, Hewa Y., Alharbi, Talal, Husain, Dilawar, Tupe, Umesh J., Naeem, Sajid, Patil, Arun V.
Publikováno v:
In Journal of the Indian Chemical Society January 2025 102(1)
Publikováno v:
In Biomaterials January 2025 312