Bibliographic Details
| Title: |
Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry
14th NASA formal methods International symposium, NFM |
| Authors: |
Luppen, Zachary, Jacks, Michael, Baughman, Nathan, Stilic, Muhamed, Nasers, Ryan, Hertz, Benjamin, Cutler, James, Lee, Dae-Young, Rozier, Kristin Yvonne |
| Source: |
Lecture notes in computer science. 13260:527-537 |
| Availability: |
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN607627564&indx=1&recIds=ETOCCN607627564 |
| Database: |
British Library Document Supply Centre Inside Serials & Conference Proceedings |
