@article{1436747,
      note = {International conference proceedings.},
      author = {Dutle, Aaron Michael, and Moscato, Mariano M., and Titolo,  Laura, and Muñoz, César A., and Perez, Ivan},
      url = {http://library.usi.edu/record/1436747},
      title = {NASA formal methods : 13th International Symposium, NFM  2021, virtual event, May 24-28, 2021 : proceedings /. NFM  (Symposium)},
      abstract = {This book constitutes the proceedings of the 13th  International Symposium on NASA Formal Methods, NFM 2021,  held virtually in May 2021. The 21 full and 3 short papers  presented in this volume were carefully reviewed and  selected from 66 submissions. The papers aim to identify  challenges and provide solutions to achieve assurance in  mission-critical and safety-critical systems. Examples of  such systems include advanced separation assurance  algorithms for aircraft, next-generation air  transportation, autonomous rendezvous and docking of  spacecraft, on-board software for unmanned aerial systems  (UAS), UAS traffic management, autonomous robots, and  systems for fault detection, diagnosis, and prognostics.},
      doi = {https://doi.org/10.1007/978-3-030-76384-8},
      recid = {1436747},
      pages = {1 online resource (416 pages)},
}