NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Deductive glue code synthesis for embedded software systems based on code patterns
External Source
jpl
Document Type
Meeting Paper
Authors
Liu, Jian
Zhang, Yansheng
Bastani, Farokh
Yen, I-Ling
Tai, Ann
Chau, Savio N.
Fu, Jicheng
Date Acquired
February 3, 2025
Publication Date
June 14, 2006
Publication Information
Publication: NOT AVAILABLE
Publisher: Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2006.
DOI: http://hdl.handle.net/2014/40116
Distribution Limits
Public

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
Document Not Available for PreviewClick to Access Document