by Gómez, Sergio Alejandro, Goron, Anca, Groza, Adrian and Letia, Ioan Alfred, Marcovecchio
Reference:
Assuring safety in air traffic control systems with argumentation and model checking (Gómez, Sergio Alejandro, Goron, Anca, Groza, Adrian and Letia, Ioan Alfred, Marcovecchio), In Expert Systems with Applications, Elsevier, volume 44, 2016.
Bibtex Entry:
@Article{Gomez2016,
author = {G{'o}mez, Sergio Alejandro and Goron, Anca and Groza, Adrian and Letia, Ioan Alfred, Marcovecchio},
journal = {Expert Systems with Applications},
title = {Assuring safety in air traffic control systems with argumentation and model checking},
year = {2016},
pages = {367--385},
volume = {44},
publisher = {Elsevier},
}
