Formal Modeling and Verification of Embedded Real-Time Systems: An Approach and Practical Tool Based on Constraint Time Petri Nets
Article in Mathematics (March 2024)
The most recent citing publications are shown below. View all 10 publications that cite this research output on Dimensions.
Article in Mathematics (March 2024)
Article in Journal of Information Security and Applications (October 2020)
Preprint in arXiv (May 2020)