![](/img/cover-not-exists.png)
Assuring Safety in Air Traffic Control Systems with Argumentation and Model Checking
Gómez, Sergio Alejandro, Goron, Anca, Groza, Adrian, Letia, Ioan AlfredLanguage:
english
Journal:
Expert Systems with Applications
DOI:
10.1016/j.eswa.2015.09.027
Date:
September, 2015
File:
PDF, 1.07 MB
english, 2015