Zobrazeno 1 - 10
of 39
pro vyhledávání: '"Solanki, Rajendra"'
Autor:
Solanki, Rajendra Kumar
In our times, when the world is increasingly becoming more dependent on software programs, writing bug-free, correct programs is crucial. Program verification based on formal methods can guarantee this by detecting run-time errors in safety-critical
Externí odkaz:
http://arxiv.org/abs/2403.12973
Publikováno v:
In Computers & Security December 2021 111
Publikováno v:
Journal of Cardiovascular Disease Research (Journal of Cardiovascular Disease Research); 2023, Vol. 14 Issue 12, p2038-2043, 6p
Autor:
DIGGE, POORNIMA1, SOLANKI, RAJENDRA N.2, SHAH, DIPALI C.3, VISHWAKARMA, RAJESH4, KUMAR, SANDEEP5
Publikováno v:
Journal of Clinical & Diagnostic Research. Oct2016, Vol. 10 Issue 10, p1-4. 4p.
Publikováno v:
Saudi Journal of Anaesthesia; Oct-Dec2020, Vol. 14 Issue 4, p524-527, 4p
Autor:
Jain, Ayushi, Singariya, Geeta, Kamal, Manoj, Kumar, Mritunjay, Jain, Ayush, Solanki, Rajendra
Publikováno v:
Indian Journal of Anaesthesia; Sep2020, Vol. 64 Issue 9, p774-783, 10p
Publikováno v:
Interfaces, 1991 Jul 01. 21(4), 121-131.
Externí odkaz:
https://www.jstor.org/stable/25061509
Autor:
Hilliard, Michael R., Solanki, Rajendra S., Liu, Cheng, Busch, Ingrid K., Harrison, Glen, Kraemer, Ronald D.
Publikováno v:
Interfaces, 1992 Jan 01. 22(1), 131-146.
Externí odkaz:
https://www.jstor.org/stable/25061577
Publikováno v:
European Journal of Operational Research. 8/13/1993, Vol. 68 Issue 3, p356-373. 18p. 8 Diagrams, 2 Charts.
Autor:
Solanki, Rajendra S.1, Cohon, Jared L.2
Publikováno v:
European Journal of Operational Research. 8/15/89, Vol. 41 Issue 3, p355-366. 12p. 2 Diagrams, 1 Chart, 8 Graphs.