SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems
- Title
- SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems
- Authors
- 배경민
- Date Issued
- 2016-04-12
- Publisher
- ACM
- URI
- https://oasis.postech.ac.kr/handle/2014.oak/72073
- Article Type
- Conference
- Citation
- ACM International Conference on Hybrid Systems: Computation and Control, 2016-04-12
- Files in This Item:
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.