![](/img/cover-not-exists.png)
A Statecharts-Based Specification and Verification of Real-TIme Job Scheduling Systems
Sowmya, A.Volume:
25
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.1016/s1474-6670(17)50159-7
Date:
June, 1992
File:
PDF, 1.60 MB
english, 1992