Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
CDIS is a commercial air traffic information system that was developed using formal methods 15 years ago by Praxis, and it is… 
2006
2006
The B method is a well known approach to the formal specification and development of sequential computer programs. Inspired by… 
1990
1990
Review
1986
Review
1986
Bre 03 WHAT IS THE MEANING OF THE HISTOLOGICAL WORK UP OF TISSUE REMOVED DURING QUADRANTECTOMY OR TUMORECTOMY FOR THE FURTHER… 
Review
1986
Review
1986
Bre 03 WHAT IS THE MEANING OF THE HISTOLOGICAL WORK UP OF TISSUE REMOVED DURING QUADRANTECTOMY OR TUMORECTOMY FOR THE FURTHER…