دورية أكاديمية
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 |
Full Text Finder | تدمد: | 02780070 19374151 |
|---|---|
| DOI: | 10.1109/TCAD.2024.3355708 |