NASA Jet Propulsion Laboratory California Institute of Technology Follow this link to skip to the main content

BEACON eSpace at Jet Propulsion Laboratory >

Items for Author "Tai, Ann"

Return to Browse by Author
Sort by Title Sorting by Date

Showing 1 items.

Issue DateTitleAuthor(s)
14-Jun-2006 Deductive glue code synthesis for embedded software systems based on code patterns Liu, Jian; Zhang, Yansheng; Bastani, Farokh; Yen, I-Ling; Tai, Ann; Chau, Savio N.; Fu, Jicheng


Privacy/Copyright Image Policy Beacon Home Contact Us
NASA Home Page + Div 27
+ JPL Space
Site last updated on December 5, 2014.
If you have any comments or suggestions for this web site, please e-mail Robert Powers.