• Media type: E-Article
  • Title: Lecture Notes in Computer Science: Integrating Runtime Verification into a Sounding Rocket Control System
  • Contributor: Hertz, Benjamin; Luppen, Zachary; Rozier, Kristin Yvonne
  • Published: Springer International Publishing, 2021
  • Published in: Lecture Notes in Computer Science (2021), Seite 151-159
  • Language: Not determined
  • DOI: 10.1007/978-3-030-76384-8_10
  • ISBN: 9783030763848; 9783030763831
  • ISSN: 0302-9743; 1611-3349
  • Origination:
  • Footnote: