Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Sailesh Kandula"'
Autor:
Munish Ashat, Sailesh Kandula, Gregory A. Cote, Mark A. Gromski, Evan L. Fogel, Stuart Sherman, Glen A. Lehman, James L. Watkins, Benjamin L. Bick, Jeffrey J. Easler
Publikováno v:
Gastrointestinal Endoscopy. 97:1059-1066.e3
Autor:
Glen A. Lehman, Mark A. Gromski, Stuart Sherman, James L. Watkins, Evan L. Fogel, Gregory A. Cote, Sailesh Kandula, Jeffrey J. Easler
Publikováno v:
American Journal of Gastroenterology. 114:S8-S8
Publikováno v:
ACM Transactions on Embedded Computing Systems. 11:1-29
Body area networks (BANs) are networks of medical devices implanted within or worn on the human body. Analysis and verification of BAN designs require (i) early feedback on the BAN design and (ii) high-confidence evaluation of BANs without requiring
Publikováno v:
ACM SIGBED Review. 8:19-22
Safety certification of Autonomous Vehicles (AVs) require guarantees on AVs' safety at design time. To this effect, this paper proposes modeling abstractions that allow architectural representation of AVs and their surroundings, i.e. representation o