NASA Formal Methods 2023
Tue 16 - Thu 18 May 2023 Houston, Texas, United States
  • Attending
    • Venue: University of Houston, Clear Lake
  • Program
    • NASA Formal Methods Program
    • Your Program
    • Tue 16 May
    • Wed 17 May
    • Thu 18 May
  • Track/Call
  • Organization
      • NASA Formal Methods 2023 Committees
      • Track Committees
      • Organizing Committee
      • Program Committee
      • Contributors
      • People Index
  • Search
  • Series
    • Series
    • NASA Formal Methods 2024
    • NASA Formal Methods 2023
    • NASA Formal Methods 2022
    • NASA Formal Methods 2021
    • NASA Formal Methods 2020
    • NASA Formal Methods 2019
    • NASA Formal Methods 2018
    • NASA Formal Methods 2017
    • NASA Formal Methods 2016
    • NASA Formal Methods 2015
    • NASA Formal Methods 2014
    • NASA Formal Methods 2013
    • NASA Formal Methods 2012
    • NASA Formal Methods 2011
    • NASA Formal Methods 2010
    • NASA Formal Methods 2009
    • 6th NASA Langley Formal Methods Workshop (LFM 2008)
    • 5th NASA Langley Formal Methods Workshop (LFM 2000)
    • 4th NASA Langley Formal Methods Workshop (LFM 1997)
    • 3rd NASA Langley Formal Methods Workshop (LFM 1995)
    • 2nd NASA Langley Formal Methods Workshop
    • 1st NASA Langley Formal Methods Workshop
  • Sign in
  • Sign up
NASA Formal Methods 2023 (series) / Julia Badger
  • conf.research.org general profile
  • NASA Formal Methods 2024 profile
Julia Badger

Not registered as user

Name:Julia Badger
Affiliation:NASA

Contributions

2023

NFM

  • Committee Member in Program Committee within the NFM 2023-track
  • Formal Guarantees for Autonomous Operation of Human Spacecraft
  • Session Chair of Control and Hybrid Systems (part of NFM 2023)

Show activities from other conferences

Share
NASA Formal Methods 2023-profile
View general profile
xSat 10 May 08:14

NASA Formal Methods 2023

contact form

using conf.researchr.org (v1.69.0)
Support page

Tracks

NFM 2023

Attending

Venue: University of Houston, Clear Lake
Sign Up