System Resource Utilization Analysis Based on Model Checking Method

Ki-Seok Bang, Hyun-Wook Jin, Chuck Yoo, Jin-Young Choi. System Resource Utilization Analysis Based on Model Checking Method. Informatica (Slovenia), 29(2):219-226, 2005. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.