المؤلفون: Holloman, Isabella, Campbell, Austin, Pavuluru, Neha, Darquea, Sergio, Lawrence, Gabriel A, Bolton, Matthew L., Rose, Olivia Claire, Miller, Michael A.

المصدر: 2024 Systems and Information Engineering Design Symposium (SIEDS) Systems and Information Engineering Design Symposium (SIEDS), 2024. :200-205 May, 2024

Relation: 2024 Systems and Information Engineering Design Symposium (SIEDS)

المؤلفون: Zhou, Z., Chen, Z., Cai, M., Li, Z., Kan, Z., Su, C.

المصدر: IEEE Transactions on Industrial Electronics IEEE Trans. Ind. Electron. Industrial Electronics, IEEE Transactions on. 71(6):5983-5992 Jun, 2024

المؤلفون: Sibai, H., Mitra, S.

المصدر: IEEE Transactions on Automatic Control IEEE Trans. Automat. Contr. Automatic Control, IEEE Transactions on. 69(5):3357-3364 May, 2024

المؤلفون: Brizzio, Matias

المصدر: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ICSE-COMPANION Software Engineering: Companion Proceedings (ICSE-Companion), 2024 IEEE/ACM 46th International Conference on. :207-211 Apr, 2024

Relation: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

المؤلفون: Lorch, Robert, Meng, Baoluo, Siu, Kit, Moitra, Abha, Durling, Michael, Paul, Saswata, Varanasi, Sarat Chandra, McMillan, Craig

المصدر: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :88-99 Apr, 2024

Relation: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)

المؤلفون: Stevens, Clay, Bagheri, Hamid

المصدر: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2024 IEEE/ACM 46th International Conference on. :2183-2194 Apr, 2024

Relation: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE)

المؤلفون: Gundanaand, D., Kress-Gazit, H.

المصدر: IEEE Robotics and Automation Letters IEEE Robot. Autom. Lett. Robotics and Automation Letters, IEEE. 9(8):6864-6871 Aug, 2024

المؤلفون: Kolvig-Raun, E.S., Kjaergaard, M.B., Brorsen, R.

المصدر: IEEE Robotics and Automation Letters IEEE Robot. Autom. Lett. Robotics and Automation Letters, IEEE. 9(4):3554-3561 Apr, 2024

المؤلفون: Narasimhan, S.S., Bhat, S., Chinchali, S.P.

المصدر: IEEE Robotics and Automation Letters IEEE Robot. Autom. Lett. Robotics and Automation Letters, IEEE. 9(3):2917-2924 Mar, 2024

المؤلفون: Wang, Y., Zhou, W., Fan, J., Wang, Z., Li, J., Chen, X., Huang, C., Li, W., Zhu, Q.

المصدر: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 43(3):994-1007 Mar, 2024