Acquisition Source
Langley Research Center
Document Type
Conference Paper
Authors
Thompson, Jeffrey M. (Minnesota Univ. Minneapolis, MN United States) Heimdahl, Mats P. E. (Minnesota Univ. Minneapolis, MN United States) Erickson, Debra M. (Minnesota Univ. Minneapolis, MN 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 Funding Number(s)
CONTRACT_GRANT: NAG1-2242
CONTRACT_GRANT: NSF CCR-96-15088
CONTRACT_GRANT: NSF CCR-96-24324
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.