Modeling and Parameters Synthesis for an Air Traffic Management System

TitleModeling and Parameters Synthesis for an Air Traffic Management System
Publication TypeConference Paper
Year of Publication2000
AuthorsBonifácio A L, Moura A V
EditorJr. W HA, Johnson SD
Conference NameFMCAD '00: Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
Date Published{1-3, } # nov
PublisherSpringer-Verlag
Conference LocationAustin, Texas
ISBN Number3-540-41219-0