Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
| Published in: | Complex Adaptive Systems Modeling |
|---|---|
| Format: | Online Article RSS Article |
| Published: |
2018
|
| Subjects: | |
| Tags: |
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 |