Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Viara Popova
Automated Verification of Disaster Plans in Incident Management
Disaster Prevention & Management
Management
Monitoring
Business
Public Health
Environmental
Health
Policy
Accounting
Law
Occupational Health
Related publications
Automated Deduction for Verification
ACM Computing Surveys
Computer Science
Theoretical Computer Science
Are British Hospitals Ready for the Next Major Incident? Analysis of Hospital Major Incident Plans
BMJ
Automated Inductive Verification of Parameterized Protocols?
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Classifications and Automated Verification
IT Incident Management by Analyzing Incident Relations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Disaster Management of Flash Flood in Banyumas : The Role of Regional Disaster Management Agency
Can Automated Treatment Plans Gain Traction in the Clinic?
Journal of Applied Clinical Medical Physics
Instrumentation
Nuclear Medicine
Radiology
Radiation
Imaging
Medicine
Implementing Disaster Plans for Municipal Solid Waste Systems
Open Government on Disaster Information Management in Regional Disaster Management Agency of South Sulawesi
