Cited By
View all- Wang ZSun TZhong WZhang YWang J(2024)Simplification Method of CPN Model Based on Data Abstraction2024 27th International Conference on Computer Supported Cooperative Work in Design (CSCWD)10.1109/CSCWD61410.2024.10580591(2800-2805)Online publication date: 8-May-2024
- Nxumalo MTimm NGruner S(2023)An evaluation of approaches to model checking real-time task schedulability analysisInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-022-00693-925:1(115-128)Online publication date: 1-Feb-2023