Publications for All Years (726 out of 726)

  • Astrobee Guest Science

  • Published at: Conference: ISS R&D Conference: Washington, DC
  • Date: 07/18/17
  • Authors: Jonathan Barlow, Jose Benavides, Chris Provencher, Maria Bualat, Trey Smith
  • Automated Analysis of Stateflow Models

  • Published at: Conference: LPAR-21; Maun, Botswana
  • Date: 05/07/17
  • Authors: Hamza Bourbouh, Pierre-Loic Garoche, Christophe Garion, Arie Gurfinkel, Temesghen KahsaiAzene