Modeling and automatic failure analysis of safety-critical systems using extended safecharts

Journal

Lecture Notes in Computer Science

Journal Volume

4680 LNCS

Pages

451-464

Date Issued

2007

Author(s)

Chen, Y.-R.

Hsiung, P.-A.

URI

http://www.scopus.com/inward/record.url?eid=2-s2.0-38149017849&partnerID=MN8TOARS

http://scholars.lib.ntu.edu.tw/handle/123456789/332167

Type

book