Refinement and Verification of Responsive Control Systems.

Saved in:
Bibliographic Details
Online Access: Full Text (via OSTI)
Corporate Author: Sandia National Laboratories. (Researcher)
Format: Government Document eBook
Language:English
Published: Washington, D.C. : Oak Ridge, Tenn. : United States. National Nuclear Security Administration ; Distributed by the Office of Scientific and Technical Information, U.S. Department of Energy, 2020.

Internet

Full Text (via OSTI)

Online

Holdings details from Online
Call Number: E 1.99:sand2020-3374c
E 1.99:sand2020-3374c Available