Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Harshita Goswami"'
Autor:
Hanita Dahiya, Harshita Goswami, Chanchal Bhati, Ekta Yadav, Bhanupriya, Divya Tripathi, Deepa Rani, Deepika, Gayatri Pal, Geeta Saini, Lalita Yadav, Rajesh Kumar
Publikováno v:
Journal of Primary Care Specialties, Vol 4, Iss 1, Pp 10-16 (2023)
Background: Coronavirus outbreak severely affected the psychological health of frontline health-care workers, including nurses. Nurses relatively face many more psychological problems compared to other health-care workers. This study aimed to assess
Externí odkaz:
https://doaj.org/article/db53b00964744e759262859fd174fd6f
Autor:
Rajesh Kumar, Hanita Dahiya, Harshita Goswami, Chanchal Bhati, Ekta Yadav, null Bhanupriya, Divya Tripathi, Deepa Rani, null Deepika, Gayatri Pal, Geeta Saini, Lalita Yadav
Publikováno v:
Journal of Primary Care Specialties. 4:10
Autor:
Harshita Goswami, Pravir Kumar
Publikováno v:
2021 5th International Conference on Information Systems and Computer Networks (ISCON).
Publikováno v:
ENASE
The K framework is a rewrite logic-based framework for defining programming language semantics suitable for formal reasoning about programs and programming languages. In this paper, we present K-Taint, a rewriting logic-based executable semantics in