Method Based on SEFT-to-Petri for Safety Analysis of Software

Author： Sai-sai Xu  

Publisher： Edp Sciences

E-ISSN： 2261-236x|179|issue|03030-03030

ISSN： 2261-236x

Source： MATEC Web of conference, Vol.179, Iss.issue, 2018-07, pp. : 03030-03030

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Research on Background Knowledge Based Software Processing Method of Target Height Measurement for 3D Radar

By  

MATEC Web of conference, Vol. 175, Iss. issue, 2018-07 ,pp. : 02011-02011

Edp Sciences

Access to resources Recommend Favorite

Development of Structural Dynamic Analysis Software of Truss Structure Using Monte Carlo Finite Element Method

By  

MATEC Web of conference, Vol. 177, Iss. issue, 2018-07 ,pp. : 01002-01002

Edp Sciences

Access to resources Recommend Favorite

Analysis of signalized intersection performance using IHCM 1997 method and PTV Vistro software

By  

MATEC Web of conference, Vol. 195, Iss. issue, 2018-08 ,pp. : 04012-04012

Edp Sciences

Access to resources Recommend Favorite

A method of seismic performance evaluation based seismic fragility analysis

By  

MATEC Web of conference, Vol. 175, Iss. issue, 2018-07 ,pp. : 04036-04036

Edp Sciences

Access to resources Recommend Favorite

Development of BIM-Based Safety Management Model Focusing on Safety Rule Violations

By  

MATEC Web of conference, Vol. 203, Iss. issue, 2018-09 ,pp. : 02007-02007

Edp Sciences

Access to resources Recommend Favorite