Improved modeling and validation of command sequences using a checkable sequence language
Stone, C. A., Carter, A., Justice, H. L., Keller, R. M., Yu-Wen Tung
Published in 2012 IEEE Aerospace Conference (01.03.2012)
Published in 2012 IEEE Aerospace Conference (01.03.2012)
Get full text
Conference Proceeding