Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 219,937,494 papers from all fields of science
Search
Sign In
Create Free Account
VPS5 protein, S cerevisiae
Known as:
GRD2 protein, S cerevisiae
, YOR069W protein, S cerevisiae
National Institutes of Health
Create Alert
Alert
Related topics
Related topics
1 relation
Broader (1)
Vesicular Transport Proteins
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Towards Sophisticated Air Traffic Control System Using Formal Methods
A. Jarrar
,
Y. Balouki
Modelling and Simulation in Engineering
2018
Corpus ID: 76652177
We propose a general formal modeling and verification of the air traffic control system (ATC). This study is based on the…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE