Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,292 papers from all fields of science
Search
Sign In
Create Free Account
CDIS (computer-based system)
Known as:
CDIS
The CCF Display and Information System (CDIS) is a computer-based system that provides airport and flight information to air traffic controllers…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
1 relation
Altran Praxis
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Armacost Library: CDIS 100: Intro. to Communication Sciences & Disorders: Evaluating: Types of Sources
Paige Mann
2014
Corpus ID: 108393780
2010
2010
Research Starters: CDIS Graduate Orientation: Online Resources
Laura Gienger
2010
Corpus ID: 235153192
2009
2009
Pricing of credit default index swap tranches with one-factor heavy-tailed copula models
Dezhong Wang
,
S. Rachev
,
F. Fabozzi
2009
Corpus ID: 17925689
2008
2008
CDIS 705 Articulation and Phonological Disorders
Catherine H Balthazar
2008
Corpus ID: 148803422
2007
2007
Redevelopment of an industrial case study using event-B and Rodin
A. Rezazadeh
,
N. Evans
,
M. Butler
2007
Corpus ID: 2389343
CDIS is a commercial air traffic information system that was developed using formal methods 15 years ago by Praxis, and it is…
Expand
2006
2006
A Proposal for Records in Event-B
N. Evans
,
M. Butler
World Congress on Formal Methods
2006
Corpus ID: 18446919
The B method is a well known approach to the formal specification and development of sequential computer programs. Inspired by…
Expand
1990
1990
CDIS 836 Aphasia Seminar
C. Foote
1990
Corpus ID: 78135094
Review
1986
Review
1986
TNM-Classification of breast cancer
J. Waal
,
J. Baltzer
,
J. Zander
Journal of Cancer Research and Clinical Oncology
1986
Corpus ID: 33162871
Bre 03 WHAT IS THE MEANING OF THE HISTOLOGICAL WORK UP OF TISSUE REMOVED DURING QUADRANTECTOMY OR TUMORECTOMY FOR THE FURTHER…
Expand
Review
1986
Review
1986
Immunocytochemical detection of tumor cells in bone marrow in breast cancer patients at time of primary therapy
M. Untch
,
W. Eiermann
,
R. Bartl
,
H. Hepp
Journal of Cancer Research and Clinical Oncology
1986
Corpus ID: 33730888
Bre 03 WHAT IS THE MEANING OF THE HISTOLOGICAL WORK UP OF TISSUE REMOVED DURING QUADRANTECTOMY OR TUMORECTOMY FOR THE FURTHER…
Expand
1984
1984
CDIS 845 Advanced Rehabilitative Audiology
J. Lubinsky
1984
Corpus ID: 78435925
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