Assuring safety in air traffic control systems with argumentation and model checking
Sergio Alejandro Gómez, Anca Goron, Adrian Groza, Ioan Alfred Letia
Expert Systems with Applications, 44(C), 367–385 (2016) .
2016
Full text: http://dx.doi.org/10.1016/j.eswa.2015.09.027
Notice: Undefined index: publicationsCaching in /www/html/epistemio/application/controllers/PublicationController.php on line 2240
Share comment