Jump to main content

yr 〜
yr

Search results 8

NASA formal methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023 : proceedings

NASA formal methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023 : proceedings
Paper図書
Kristin Yvonne Rozier, Swarat Chaudhuri, editorsSpringerc2023
Other Libraries in Japan
  • Author HeadingNFM (Symposium) Rozier, Kristin Yvonne Chaudh...

NASA formal methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022 : proceedings

NASA formal methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022 : proceedings
Paper図書
Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez (eds.)Springerc2022
Other Libraries in Japan
  • Author HeadingNFM (Symposium) Deshmukh, Jyotirmoy Havelund,...

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...

NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings

NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings
Paper図書
Ritchie Lee ... [et al.] (eds.)Springerc2020
Other Libraries in Japan
  • Author HeadingNFM (Symposium) Lee, Ritchie Jha, Susmit Mavr...

NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings

NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings
Paper図書
Julia M. Badger, Kristin Yvonne Rozier (eds.)Springerc2019
Other Libraries in Japan
  • Author HeadingNFM (Symposium) Badger, Julia M. Rozier, Kris...

NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings

NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings
Paper図書
Clark Barrett, Misty Davies, Temesghen Kahsai (eds.)Springerc2017
Other Libraries in Japan
  • Author HeadingNFM (Symposium) Barrett, Clark Davies, Misty ...

NASA formal methods : 6th international symposium, NFM 2014 : Houston, TX, USA, April 29-May 1, 2014 : proceedings : NFM2014 : Apr 2014, Houston, TX. (Lecture Notes in Computer Science ; 8430)

NASA formal methods : 6th international symposium, NFM 2014 : Houston, TX, USA, April 29-May 1, 2014 : proceedings : NFM2014 : Apr 2014, Houston, TX. (Lecture Notes in Computer Science ; 8430)
Paper図書
Springer[2014]<M17-14-2795>
National Diet Library
  • Author HeadingNFM (Symposium) (6th : 2014 : Houston, Tex.) ...

NASA formal methods : 5th international symposium, NFM 2013 : Moffett Field, CA, USA, May 14-16, 2013 : proceedings : May 2013, Moffett Field, CA. (Lecture Notes in Computer Science ; 7871)

NASA formal methods : 5th international symposium, NFM 2013 : Moffett Field, CA, USA, May 14-16, 2013 : proceedings : May 2013, Moffett Field, CA. (Lecture Notes in Computer Science ; 7871)
Paper図書
Springerc2013.<M17-13-2776>
National Diet Library
  • Author HeadingNFM (Symposium) (5th : 2013 : Moffett Field, ...

Reached to the end of result.

RSS