Full Text Available

Note: Clicking the button above will open the full text document at the original institutional repository in a new window.

Formal modeling of a complex adaptive air traffic control system

Saved in:
Bibliographic Details
Published in:Complex Adaptive Systems Modeling
Format: Online Article RSS Article
Published: 2018
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1868553618353815554
collection WordPress RSS
FRELIP Feed Integration
container_title Complex Adaptive Systems Modeling
description
discipline_display Computer Science
discipline_facet Computer Science
format Online Article
RSS Article
genre Journal Article
id rss_article:78065
institution FRELIP
journal_source_facet Complex Adaptive Systems Modeling
last_indexed 2026-06-20T21:39:49.249Z
publishDate 2018
publishDateSort 2018
record_format rss_article
spellingShingle Formal modeling of a complex adaptive air traffic control system
Computer Science
General
Computer Science
sub_discipline_display General
sub_discipline_facet General
subject_display Computer Science
General
Computer Science
subject_facet Computer Science
General
Computer Science
title Formal modeling of a complex adaptive air traffic control system
title_alt Modelado formal de un sistema de control de tráfico aéreo adaptativo complejo
Modélisation formelle d'un système de contrôle du trafic aérien adaptatif complexe
Modelagem formal de um sistema de controle de tráfego aéreo adaptativo complexo
title_auth Formal modeling of a complex adaptive air traffic control system
title_es_txt Modelado formal de un sistema de control de tráfico aéreo adaptativo complejo
title_fr_txt Modélisation formelle d'un système de contrôle du trafic aérien adaptatif complexe
title_full Formal modeling of a complex adaptive air traffic control system
title_fullStr Formal modeling of a complex adaptive air traffic control system
title_full_unstemmed Formal modeling of a complex adaptive air traffic control system
title_pt_txt Modelagem formal de um sistema de controle de tráfego aéreo adaptativo complexo
title_short Formal modeling of a complex adaptive air traffic control system
title_sort formal modeling of a complex adaptive air traffic control system
topic Computer Science
General
Computer Science
url https://link.springer.com/article/10.1186/s40294-018-0056-4