Design of a verifiable subset for HAL/S

William D. Young, Anand R. Tripathi, Donald I. Good, James C. Browne

Research output: Contribution to journalArticlepeer-review

Original languageEnglish (US)
Pages (from-to)86-87
Number of pages2
JournalJournal of Guidance, Control, and Dynamics
Issue number1
StatePublished - Jan 1981

Bibliographical note

Funding Information:
The authors are grateful to Dr. J. Misra regarding HAL/S and language evaluation. supported by NASA Grant NSG-1479.

Cite this