TY  - RPRT
TI  - Demonstration of Model-Based Design for Digital Controller Using Formal Methods
AU  - Mayo, Jackson R.
AU  - Morris Wright, Karla Vanessa
AU  - Aytac, Jon M.
AU  - Smith, Andrew Michael
AU  - Armstrong, Robert Claude
AU  - Hulette, Geoffrey Compton
AU  - Lober, Randall R.
PY  - 2024
DO  - 10.2172/2430067
UR  - https://www.osti.gov/biblio/2430067
ID  - 2430067
ER  -