DSpace at KOASAS
College of Engineering(공과대학)Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)NE-Conference Papers(학술회의논문)

Safety Analysis Using Coloured Petri Nets

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 1245
  • Download : 1272
Export
Cho, Seung Mo / Hong, Hyoung Seok / Cha, Sungdeok
Publisher
IEEE
Issue Date
1996-12-04
Language
English
Citation

Asia-Pacific Software Engineering Conference, pp.176 - 183

URI
http://hdl.handle.net/10203/798
Appears in Collection
Files in This Item

Display Full Item Record

qr_code

  • mendeley

    citeulike

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


rss_1.0 rss_2.0 atom_1.0