Formal Analysis Of A Space-Craft Controller Using SPIN

·2001·DOI

Engineering and Technology

Communication and Signal Processing

Software Engineering and Practices

Avionics Algorithms and Optimization

Role in the Field

Neutralin Engineering and Technology

Neutralin Communication and Signal Processing

Neutralin Software Engineering and Practices

Neutralin Avionics Algorithms and Optimization

Abstract

Citations

84

Year

2001

PageRank

2.4 / 10

Relative influence (log-scaled)

Related Papers

11 of 11 papers

Over-the-Air Computation Systems: Optimization, Analysis And Scaling Laws

·2020·148 citations

Knights Landing (KNL): 2Nd Generation Intel® Xeon Phi Processor

·2015·168 citations

Numerical Linear Algebra On Emerging Architectures: The PLASMA And MAGMA Projects

·2009·237 citations

FARGO: A Fast Eulerian Transport Algorithm For Differentiallyrotating Disks

·2000·455 citations

A Reduced Order Modeling Technique For Mistuned Bladed Disks

·1997·142 citations

Approximating Polyhedra With Spheres For Time-Critical Collision Detection

·1996·311 citations

How A Cockpit Remembers Its Speeds

·1995·1,020 citations

Single Event Upset In Avionics

·1993·173 citations

Finite Time Optimizations Of A Newton’s Law Carnot Cycle

·1981·197 citations

An Algorithm For High-Speed Curve Generation

·1974·365 citations

Triple-triple Redundant 777 Primary Flight Computer

·0·159 citations