Discrete event model verification using system morphism
- Publisher
- IEEE
- Issue Date
- 2001-10-07
- Language
- English
- Citation
2001 IEEE International Conference on Systems, Man and Cybernetics, pp.3057 - 3062
- ISSN
- 0884-3627
- Appears in Collection
- EE-Conference Papers(학술회의논문)
- Files in This Item
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.