Acquisition Source
Armstrong Flight Research Center
Document Type
Conference Paper
Authors
Alexander, Chris (Azimuth, Inc. Fairmont, WV United States) Cortellessa, Vittorio (West Virginia Univ. Morgantown, WV United States) DelGobbo, Diego (West Virginia Univ. Morgantown, WV United States) Mili, Ali (West Virginia Univ. Morgantown, WV United States) Napolitano, Marcello (West Virginia Univ. Morgantown, WV United States) Date Acquired
August 19, 2013
Publication Date
June 1, 2000
Publication Information
Publication: Lfm2000: Fifth NASA Langley Formal Methods Workshop
Subject Category
Cybernetics, Artificial Intelligence And Robotics Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.