3
Publications
74
Citations
3
H-Index
2014
Active since
Affiliations
GMV Innovating Solutions (Spain)(Current)
T. V. Peters is an author at GMV Innovating Solutions (Spain) specializing in formal verification, operations research, and formal methods.
Top concepts
EngineeringFormal MethodsSpace EngineeringAutomated ReasoningFormal VerificationOperations ResearchSystems EngineeringQuantitative Management
Publications per year
2014–2018
3
3
T. V. Peters, Diego Escorial Olmos · CEAS Space Journal · 2016 · 36 citations
Mission analysis for PROBA-3 nominal operations
T. V. Peters, João Branco, Diego Escorial et al. · Acta Astronautica · 2014 · 20 citations
Rows per page
1–3 of 3