Research into safety component model framework of safety requirement-oriented

DOI10.3724/SP.J.1087.2008.02929MaRDI QIDQ3399703zbMATH OpenFDO

Authors Gang Yu, Zhong-Wei Xu

Publication date 12 October 2009

Published in Journal of Computer Applications (Search for Journal in Brave)

zbMATH Keywords

Safety Component (SC)safety requirementsafety-critical software

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Safety interface scheme for component-based safety critical software
• Applications and Theory of Petri Nets 2005
• Theoretical Aspects of Computing – ICTAC 2005
• A Software Component Model and Its Preliminary Formalisation
• Mathematical Frameworks for Component Software

Cited in

(4)

• The role of concept, context, and component for dependable software development
• Safety interface scheme for component-based safety critical software
• scientific article; zbMATH DE number 2080011 (Why is no real title available?)
• Nonlocal nonlinear Schrödinger equations in \(\mathbb R^{3}\)

This page was built for publication: Research into safety component model framework of safety requirement-oriented

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3399703)