Jean-Baptiste Jeannin - NASA Formal Methods 2024

Tue 4 - Thu 6 June 2024 Moffett Field, CA 94035, California, United States

Not registered as user

Name:Jean-Baptiste Jeannin

Country:United States

Affiliation:University of Michigan at Ann Arbor

Personal website: https://aero.engin.umich.edu/people/jean-baptiste-jeannin/

Contributions

2024

NFM

Formalization of asymptotic convergence for Stationary Iterative Methods

Show activities from other conferences

NASA Formal Methods 2024-profile
View general profile