-
Federal
Asynchronous Mid-Value Select in Hybrid SAL
National Aeronautics and Space Administration —
The following SAL model is an abstraction of a module that implements a fault-tolerant mid-value select on asynchronously produced inputs. This is part of a larger...