Title: Formal Specification and Reachability Analysis of ICAROUS Software Architecture Speaker: Camilo Rocha, NIA Visitor Date: Thursday, December 1, 2016 Time: 10:30am Location: NIA, Room 141 Host: C. Munoz, NASA/LaRC…
Title: Formal Specification and Reachability Analysis of ICAROUS Software Architecture Speaker: Camilo Rocha, NIA Visitor Date: Thursday, December 1, 2016 Time: 10:30am Location: NIA, Room 141 Host: C. Munoz, NASA/LaRC…