Old Web
English
Sign In
Acemap
>
authorDetail
>
Aaron Fifarek
Aaron Fifarek
Spacecraft
Systems engineering
Formal verification
Computer science
1
Papers
3
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Formal Verification of System States for Spacecraft Automatic Maneuvering
2019
Kerianne L. Hobbs
Ivan Perez
Aaron Fifarek
Eric Feron
Show All
Source
Cite
Save
Citations (3)
1