Reachability Analysis for Annotated Code

Những quyển sách tương tự

• All-Path Reachability Logic
  Bằng: Andrei Stefanescu, et al.
  Được phát hành: (2019-04-01)
• Functional Reachability
  Bằng: Ong, C, et al.
  Được phát hành: (2009)
• Reachability Analysis of Innermost Rewriting
  Bằng: Thomas Genet, et al.
  Được phát hành: (2017-03-01)
• Reachability Analysis for Nonlinear Analog/Mixed-Signal Circuits With Trajectory-Based Reachable Sets
  Bằng: Seyoung Kim, et al.
  Được phát hành: (2023-01-01)
• Reachability Analysis of Neural Feedback Loops
  Bằng: Everett, Michael, et al.
  Được phát hành: (2022)