المؤلفون: Daw, Zamira, Beecher, Scott, Holloway, Michael

المصدر: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2023 IEEE/AIAA 42nd. :1-10 Oct, 2023

Relation: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC)

المؤلفون: Daw, Zamira, Oh, Chanwook, Low, Matthew, Wang, Timothy, Amundson, Isaac, Pinto, Alessandro, Chiodo, Massimiliano, Wang, Guoqiang, Hasan, Saqib, Melville, Ryan, Nuzzo, Pierluigi

المصدر: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2023 IEEE/AIAA 42nd. :1-10 Oct, 2023

Relation: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC)

المؤلفون: Daw, Zamira, Wang, Timothy, Oh, Chanwook, Low, Matthew, Amundson, Isaac, Wang, Guoqiang, Melville, Ryan, Nuzzo, Pierluigi

المصدر: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2023 IEEE/AIAA 42nd. :1-10 Oct, 2023

Relation: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC)

المؤلفون: Daw, Zamira, Beecher, Scott

المصدر: 2023 IEEE International Systems Conference (SysCon) Systems Conference (SysCon), 2023 IEEE International. :1-8 Apr, 2023

Relation: 2023 IEEE International Systems Conference (SysCon)

المؤلفون: Daw, Zamira, Beecher, Scott, Holloway, Michael, Graydon, Mallory

المصدر: 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2021 IEEE/AIAA 40th. :1-10 Oct, 2021

Relation: 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC)

المؤلفون: Wang, Timothy E.^Aff12, Oh, Chanwook^Aff13, Low, Matthew^Aff13, Amundson, Isaac^Aff14, Daw, Zamira^Aff15, Pinto, Alessandro^Aff16, Chiodo, Massimiliano L.^Aff12, Wang, Guoqiang^Aff12, Hasan, Saqib^Aff14, Melville, Ryan^Aff12, Nuzzo, Pierluigi^Aff13

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Guiochet, Jérémie, editor^Aff7, Tonetta, Stefano, editor^Aff8, Schoitsch, Erwin, editor^Aff9, Roy, Matthieu, editor^Aff10, Bitsch, Friedemann, editor^Aff11

المصدر: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops : ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings. 14182:135-148

المؤلفون: Daw, Zamira, Eyisi, Emeka, Jahangir, Ebad, Larsen, Jeanne

المصدر: 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2017 IEEE/AIAA 36th. :1-8 Sep, 2017

Relation: 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC)

المؤلفون: Oh, Chanwook^Aff11, Naik, Nikhil^Aff11, Daw, Zamira^Aff12, Wang, Timothy E.^Aff12, Nuzzo, Pierluigi^Aff11

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Trapp, Mario, editor^Aff7, Saglietti, Francesca, editor^Aff8, Spisländer, Marc, editor^Aff9, Bitsch, Friedemann, editor^Aff10

المصدر: Computer Safety, Reliability, and Security : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings. 13414:65-81

المؤلفون: Wang, Timothy E.^Aff10, Daw, Zamira^Aff10, Nuzzo, Pierluigi^Aff11, Pinto, Alessandro^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Deshmukh, Jyotirmoy V., editor^Aff7, Havelund, Klaus, editor^Aff8, Perez, Ivan, editor^Aff9

المصدر: NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings. 13260:175-192

المؤلفون: Daw, Zamira, Vetter, Marcus, Boercsoek, Josef

المصدر: 2011 XXIII International Symposium on Information, Communication and Automation Technologies Information, Communication and Automation Technologies (ICAT), 2011 XXIII International Symposium on. :1-6 Oct, 2011

Relation: 2011 XXIII International Symposium on Information, Communication and Automation Technologies (ICAT)