• Edit

Formal Methods for
Automated Airspace Concepts

  • HomePage
  • Download
  • People
Main

People

The people working in this project:

  • Fondazione Bruno Kessler (FBK)
    • A. Cimatti
    • M. Gario
    • C. Mattarei
    • S. Tonetta
  • University of Cincinnati
    • K. Y. Rozier
  • NASA Ames Research Center

Links

© 2013 FBK - ES | Via Sommarive, 18 | I-38123 Trento |

Page last modified on October 16, 2015, at 05:45 PM

Enlighten theme originally by styleshout, adapted by David Gilbert, powered by PmWiki