受强制性开放获取政策约束的文章 - Marco Gario了解详情
可在其他位置公开访问的文章：2 篇
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration
M Gario, A Cimatti, C Mattarei, S Tonetta, KY Rozier
International Conference on Computer Aided Verification, 3-22, 2016
强制性开放获取政策： US National Science Foundation, US National Aeronautics and Space Administration
Comparing Different Functional Allocations in Automated Air Traffic Control Design
C Mattarei, A Cimatti, M Gario, S Tonetta, KY Rozier
FMCAD, 2015
强制性开放获取政策： US National Aeronautics and Space Administration
出版信息和资助信息由计算机程序自动确定