Open Access System for Information Sharing

Login Library

 

Conference
Cited 0 time in webofscience Cited 0 time in scopus
Metadata Downloads

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.

qr_code

  • mendeley

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Related Researcher

Researcher

배경민BAE, KYUNGMIN
Dept of Computer Science & Enginrg
Read more

Views & Downloads

Browse