Jump to main content

yr 〜
yr

Search results 2

NASA Formal Methods : 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings

NASA Formal Methods : 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings
Paper図書
Aaron Dutle ... [et al.] (eds.)Springerc2021
Other Libraries in Japan
  • Author HeadingNFM (Symposium) Dutle, Aaron Moscato, Mariano M. Titolo, Laura Muñoz, César A. Perez, Ivan

On the formal verification of conflict detection algorithms [microform] / César Muñoz ... [et al.] ([NASA technical memorandum] ; NASA/TM-2001-210864)

On the formal verification of conflict detection algorithms [microform] / César Muñoz ... [et al.] ([NASA technical memorandum] ; NASA/TM-2001-210864)
Microform図書
2001<YCA-NAS 1.15:210864>
National Diet Library
  • Author HeadingMuñoz, César A., 1968- Langley Research Cente...

Reached to the end of result.

RSS