System Resource Utilization Analysis Based on Model Checking Method

Abstract

System Resource Utilization Analysis Based on Model Checking Method

References

Authors

  • K.-S. Bang
  • H.-W. Jin
  • C. Yoo
  • J.-Y. Cho

Issue

Vol. 29 No. 2 (2005)

Section

Regular papers

License

Authors retain copyright in their work. By submitting to and publishing with Informatica, authors grant the publisher (Slovene Society Informatika) the non-exclusive right to publish, reproduce, and distribute the article and to identify itself as the original publisher.

All articles are published under the Creative Commons Attribution license CC BY 3.0. Under this license, others may share and adapt the work for any purpose, provided appropriate credit is given and changes (if any) are indicated.

Authors may deposit and share the submitted version, accepted manuscript, and published version, provided the original publication in Informatica is properly cited.

How to Cite

Bang, K.-S., Jin, H.-W., Yoo, C., & Cho, J.-Y. System Resource Utilization Analysis Based on Model Checking Method. Informatica, 29(2). https://www.informatica.si/index.php/informatica/article/view/34