Showing 1 - 3 results of 3 for search 'Brat, Guillaume', query time: 0.02s Refine Results
  1. 1
    Workshop on assurance for autonomous systems for aviation /

    Workshop on assurance for autonomous systems for aviation / by Brat, Guillaume

    Published 2016
    Online Access
    Government Document eBook
    Save to List
    Saved in:
  2. 2
    Runtime assurance of aeronautical products : preliminary recommendations /

    Runtime assurance of aeronautical products : preliminary recommendations / by Brat, Guillaume, Pai, Ganesh

    Published 2023
    Online Access
    Government Document eBook
    Save to List
    Saved in:
  3. 3
    NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /

    NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /

    Published 2013
    Other Authors: “…Brat, Guillaume…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search