Login / Signup

Safety analysis of Brazilian suborbital launch operations based on system-theoretic approach.

Antonio Vinicius Diniz MerladetRodrigo De Melo SilveiraSergio FugivaraCarlos Henrique Netto Lahoz
Published in: LADC (2021)
Keyphrases
  • safety analysis
  • safety critical
  • nuclear power plant
  • control system
  • fault model
  • symbolic model checking
  • agent architecture
  • real time
  • decision making
  • knowledge base
  • orders of magnitude