Detailed Information
Cited time in 
Cited time in 
Cited time in
Metadata Downloads
Formal Modeling and Simulation of Availability-based Agent Behavior
- Author(s)
- Kim, Jeongsik
- Advisor
- Kim, Namhun
- Issued Date
- 2021-02
- URI
- https://scholarworks.unist.ac.kr/handle/201301/82566 http://unist.dcollection.net/common/orgView/200000371089
- Publisher
- Ulsan National Institute of Science and Technology (UNIST)
- Degree
- Doctor
- Major
- Department of Mechanical Enginering
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.