Nathan Baughman

According to our database, Nathan Baughman authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry.

Zachary Luppen, Michael Jacks, Nathan Baughman, Muhamed Stilic, Ryan Nasers, Benjamin Hertz, James W. Cutler, Dae-Young Lee, Kristin Yvonne Rozier

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022