Вернуться к Подробностям о статье
PROBABILISTIC TIMED AUTOMATA ANALYSIS OF AIR TRAFFIC CONTROL SYSTEMS
Скачать
Скачать PDF