Paper information
- Paper code
- Room
IP Hall
- Title
Verification of Attitude and Orbit Control System On-board Autonomy software using Model Checking
- abstract
- Session
IP. Interactive Presentations - IAF SPACE SYSTEMS SYMPOSIUM
- symposium
D1. IAF SPACE SYSTEMS SYMPOSIUM
- congress
IAC-18
- Type of presentation
interactive
Mr. Sudeesh Balan, ISRO Satellite Centre (ISAC), India
Mrs. Daffini Manoja J, U R RAO SATELLITE CENTRE (URSC), India;
Mrs. Deepika Jindal, U R RAO SATELLITE CENTRE (URSC), India;