Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
Formal Verification of DEV & DESS Formalism using Symbolic Model Checker HyTechFormal Verification of DEV & DESS Formalism using Symbolic Model Checker HyTech
- Alternative Title
- Formal Verification of DEV & DESS Formalism using Symbolic Model Checker HyTech
- Authors
- Sungdeok Cha
- Issue Date
- 9-12월-2011
- Publisher
- Science & Engineering Research Support Society
- Citation
- 2011 International Conference on Control and Automation (CA 2011), pp.112 - 121
- Conference Name
- 2011 International Conference on Control and Automation (CA 2011)
- Place
- KO
Jeju Grand Hotel, Jeju
- Conference Date
- 2011-12-08
- Files in This Item
- There are no files associated with this item.
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.