Citations (0)
Keep up to date with the latest research on this topic with citation updates for this article.
Cogent Engineering
Volume 11, 2024 - Issue 1
Computer Science
An automated qualitative analysis of real-time systems using Timed Petri net and SPIN
Tanuja Shailesha Department of Computer Science and Engineering, Manipal Institute of Technology, Manipal Academy of Higher Education, Manipal, Karnataka, India
https://orcid.org/0000-0003-4916-3807View further author information
https://orcid.org/0000-0003-4916-3807View further author information, Ashalatha Nayaka Department of Computer Science and Engineering, Manipal Institute of Technology, Manipal Academy of Higher Education, Manipal, Karnataka, IndiaCorrespondence[email protected]
https://orcid.org/0000-0001-7888-6516View further author information
https://orcid.org/0000-0001-7888-6516View further author information &