دورية أكاديمية
A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net
العنوان: | A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net |
---|---|
المؤلفون: | Zhong, W., Zhou, J., Sun, T., Song, X., Li, Z. |
المصدر: | 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(7):2112-2125 Jul, 2024 |
قاعدة البيانات: | IEEE Xplore Digital Library |
تدمد: | 02780070 19374151 |
---|---|
DOI: | 10.1109/TCAD.2024.3355708 |