↓ Skip to main content
What is this page? Embed badge

NASA Formal Methods

Overview of attention for book
NASA Formal Methods
Springer International Publishing

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 12 The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS
  3. Altmetric Badge
    Chapter 15 Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
15 X users
Summary X
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
NASA Formal Methods
Published by
Springer International Publishing, January 2022
DOI 10.1007/978-3-031-06773-0
ISBNs
978-3-03-106772-3, 978-3-03-106773-0
Editors

Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profiles of 15 X users who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.