학술논문
Formal Modeling and Verification of Embedded Real-Time Systems: An Approach and Practical Tool Based on Constraint Time Petri Nets
Document Type
Article
Author
Source
In: Mathematics . (Mathematics, March 2024, 12(6))
Subject
Language
English
ISSN
22277390