Export 15 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: Author is Moura, Arnaldo Vieira  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Bonifácio A L, Moura A V.  2000.  Modeling and Parameters Synthesis for an Air Traffic Management System. FMCAD '00: Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design. 1954:316–334.