research
∙
04/20/2021
Whether the Health Care Practices For the Patients With Comorbidities Have Changed After the Outbreak of COVID-19; Big Data Public Sentiment Analysis
After the pandemic of SARS-CoV-2, it has influenced the health care prac...
research
∙
11/13/2019
Systematic Classification of Attackers via Bounded Model Checking
In this work, we study the problem of verification of systems in the pre...
research
∙
11/16/2018