Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems
- Publisher
- IEEE
- Issue Date
- 2012-11-28
- Language
- English
- Citation
International Symposium on Software Reliability Engineering (ISSRE)
- Appears in Collection
- CS-Conference Papers(학술회의논문)
- 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.