Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Shafagh Jafer"'
Publikováno v:
Aerospace, Vol 5, Iss 1, p 10 (2018)
Formal methods offer well-defined means for mathematical verification of the functional specifications of software systems. For model-based engineering, model checking is a verification technique that explores all possible system states. The Aviation
Externí odkaz:
https://doaj.org/article/975abf9f148b4a909d597901f76dfe97
Autor:
Shafagh Jafer, Wei Mi
Publikováno v:
Aerospace, Vol 4, Iss 4, p 57 (2017)
Time is crucial in the airlines industry. Among all factors contributing to an aircraft turnaround time; passenger boarding delays is the most challenging one. Airlines do not have control over the behavior of passengers; thus, focusing their effort
Externí odkaz:
https://doaj.org/article/75af32912b074111b14b74c3b7bc2cc3
Autor:
Jessica A. Updegrove, Shafagh Jafer
Publikováno v:
Aerospace, Vol 4, Iss 4, p 50 (2017)
This paper investigates current and future uses of simulation in the Federal Aviation Administration (FAA) Academy’s Air Traffic Control (ATC) training program to identify potential improvement areas in the areas of simulation technologies and cour
Externí odkaz:
https://doaj.org/article/9008934f3ff644bfb0cf3d64b4b160f0
Autor:
Bharvi Chhaya, Shafagh Jafer
Publikováno v:
AIAA Scitech 2021 Forum.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6baecebd005a731961d28abf6b403c95
https://doi.org/10.2514/6.2021-0787
https://doi.org/10.2514/6.2021-0787
Publikováno v:
AIAA Scitech 2021 Forum.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::12868b09be0aefc99a5d4b3df3e6e6ed
https://doi.org/10.2514/6.2021-0673
https://doi.org/10.2514/6.2021-0673
Autor:
Bharvi Chhaya, Shafagh Jafer
Publikováno v:
AIAA Scitech 2020 Forum.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4989f6182c7c738cdad1ac325421457b
https://doi.org/10.2514/6.2020-0897
https://doi.org/10.2514/6.2020-0897
Autor:
Bharvi Chhaya, Shafagh Jafer
Publikováno v:
SpringSim
Ontology-Driven Software Development has emerged as a significant mechanism in creating domain-specific languages (DSLs), allowing for expressing domain concepts effectively. Once an ontology is built, it is a simple process to generate the language
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fe29506ed05c7ec915c0c744aa140ef1
https://doi.org/10.22360/springsim.2020.anss.003
https://doi.org/10.22360/springsim.2020.anss.003
Publikováno v:
SIMULTECH
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f08ac8b6ab9a73bf12acc2ba4a2ad800
https://doi.org/10.5220/0009820301890196
https://doi.org/10.5220/0009820301890196
Publikováno v:
Proceedings of THE 9TH INTERNATIONAL DEFENCE AND HOMELAND SECURITY SIMULATION WORKSHOP, DHSS 2019.
Low, Slow and Small Unmanned Aerial Vehicles (LSS UAVs) are one of the fastest-growing threats for national defense, security and privacy. A NATO task group performed a study to identify the elements necessary to define LSS models applicable for the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d3158c45fe1e429bc46209bad60b773a
https://doi.org/10.46354/i3m.2019.dhss.004
https://doi.org/10.46354/i3m.2019.dhss.004
Autor:
Shafagh Jafer, Bharvi Chhaya, Krishan Patel, Mohammad Moallemi, Kevin Richard, Christopher Shannon
Publikováno v:
2019 Integrated Communications, Navigation and Surveillance Conference (ICNS).
The Federal Aviation Administration (FAA) Academy is challenged with limited availability of Air Traffic Control (ATC) training technologies for their trainees. Due to the number of trainees and cost of operation of ATC labs, trainees can only practi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a2ecccb52d893907fc2c84c1bfa510e
https://doi.org/10.1109/icnsurv.2019.8735329
https://doi.org/10.1109/icnsurv.2019.8735329