↓ 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
Attention for Chapter: The Prusti Project: Formal Verification for Rust
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
9 Mendeley
Summary X

This page is provided by Altmetric.