General Electric Research

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
General Electric Research
 

OrgUnit's Publications


Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Meng-2023-Towards a Correct-by-Construction Design of Integrated Modular ...-vor.pdf.jpgMeng, Baoluo ; Debnath,Joyanta ; Varanasi, Sarat Chandra ; Manolios, Emmanuel ; Durling, Michael ; Paul, Saswata ; Prince, Daniel ; Alsabbagh, Saif ; Haadsma, Richard ; McMillan, Craig ; Zhang, Chi ; Oates, Tim Towards a Correct-by-Construction Design of Integrated Modular AvionicsInproceedings Konferenzbeitrag Oct-2023