Conference
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
Formalization and Verification of Safety Properties of Statechart Specifications
- Title
- Formalization and Verification of Safety Properties of Statechart Specifications
- Authors
- 강교철
- Date Issued
- 5-Dec-1996
- Publisher
- .
- Article Type
- Conference
- Citation
- 3st Asia-Pacific Software Engineering Conference (APSEC'96), page. 16 - 27, 1996-12-05
- 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.