ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Smart Airport Apron Management System Formal Modeling using VDM-SL
2019 13th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS)
◽
10.1109/macs48846.2019.9024825
◽
2019
◽
Author(s):
Saba Latif
◽
Javed Ferzund
Keyword(s):
Management System
◽
Formal Modeling
◽
Smart Airport
Download Full-text
Related Documents
Cited By
References
Blockchain-based Formal Modeling of E-Hospital Emergency Management System
2021 International Conference of Women in Data Science at Taif University (WiDSTaif )
◽
10.1109/widstaif52235.2021.9430252
◽
2021
◽
Author(s):
Tayyaba Naseer Khan
◽
Nazir Ahmad Zafar
◽
Eman H. Alkhammash
Keyword(s):
Emergency Management
◽
Management System
◽
Formal Modeling
◽
Hospital Emergency
◽
Emergency Management System
Download Full-text
Graph Theory-Based Formal Modeling of Forest Fire Management System using IoT and Drone
10.1109/comtech52583.2021.9616876
◽
2021
◽
Author(s):
Aqsa Tehseen
◽
Nazir Ahmad Zafar
◽
Tariq Ali
Keyword(s):
Graph Theory
◽
Forest Fire
◽
Management System
◽
Fire Management
◽
Formal Modeling
◽
Forest Fire Management
Download Full-text
Formal Modeling and Analysis of Context-Aware Medication Management System for Smart Houses
Inclusive Society: Health and Wellbeing in the Community, and Care at Home - Lecture Notes in Computer Science
◽
10.1007/978-3-642-39470-6_27
◽
2013
◽
pp. 218-223
Author(s):
Yasir Malik
◽
Bessam Abdulrazak
Keyword(s):
Management System
◽
Medication Management
◽
Formal Modeling
◽
Context Aware
◽
Modeling And Analysis
Download Full-text
Abstract #1228: E-Glycemic Management System Provides Safe and Effective Meal Coverage for Critical Care and Surgery Patients Managed with IV Insulin in the Hospital
Endocrine Practice
◽
10.1016/s1530-891x(20)42457-7
◽
2015
◽
Vol 21
◽
pp. 288-289
Author(s):
Joseph Aloi
◽
Jagdeesh Ullal
◽
Paul Chidester
◽
Raymie McFarland
◽
Robby Booth
Keyword(s):
Critical Care
◽
Management System
◽
Glycemic Management
Download Full-text
Abstract #1226: E-Glycemic Management System Safely Maintains Glycemic Targets with a Low Incidence of Hypoglycemia for Nondiabetic Cv Surgical Patients in the Inpatient Setting
Endocrine Practice
◽
10.1016/s1530-891x(20)42455-3
◽
2015
◽
Vol 21
◽
pp. 287-288
Author(s):
Joseph Aloi
◽
Paul Chidester
◽
Jagdeesh Ullal
◽
Amy Henderson
◽
Robby Booth
◽
...
Keyword(s):
Management System
◽
Surgical Patients
◽
Inpatient Setting
◽
Low Incidence
◽
Glycemic Targets
◽
Glycemic Management
Download Full-text
Abstract #1306: Improved Inpatient Hypoglycemia Rates with Electronic Glycemic Management System
Endocrine Practice
◽
10.1016/s1530-891x(20)44874-8
◽
2016
◽
Vol 22
◽
pp. 328
Author(s):
Joseph Aloi
◽
Jagdeesh Ullal
◽
Paul Chidester
◽
Amy Henderson
◽
Robby Booth
◽
...
Keyword(s):
Management System
◽
Glycemic Management
Download Full-text
Designing a Career Management System for Head Start
PsycEXTRA Dataset
◽
10.1037/e305452003-017
◽
2002
◽
Author(s):
Marcia Manter
Keyword(s):
Head Start
◽
Management System
◽
Career Management
◽
Career Management System
Download Full-text
Environmental Health and Public Health Workforce Capacity: A Learning Management System Model
PsycEXTRA Dataset
◽
10.1037/e507502013-111
◽
2012
◽
Author(s):
Ilya Plotkin
Keyword(s):
Public Health
◽
Environmental Health
◽
Health Workforce
◽
Management System
◽
Learning Management System
◽
System Model
◽
Public Health Workforce
◽
Workforce Capacity
◽
Learning Management
Download Full-text
Demonstration of the Surface Management System: An air traffic control decision support tool
PsycEXTRA Dataset
◽
10.1037/e577012012-001
◽
2003
◽
Author(s):
James M. Hitt
◽
Christopher J. Brinton
◽
Deborah H. Walton
Keyword(s):
Decision Support
◽
Traffic Control
◽
Air Traffic Control
◽
Management System
◽
Decision Support Tool
◽
Air Traffic
◽
Support Tool
◽
Control Decision
Download Full-text
Refining the Walter Reed sleep management system: An exemplar for systems improvement using a macroergonomic approach
PsycEXTRA Dataset
◽
10.1037/e577102012-013
◽
2004
◽
Author(s):
Nancy L. Grugle
◽
Brian M. Kleiner
◽
Nancy J. Wesensten
◽
Thomas J. Balkin
Keyword(s):
Management System
◽
Sleep Management
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close