Research into safety component model framework of safety requirement-oriented

DOI10.3724/SP.J.1087.2008.02929zbMATH Open1171.68428MaRDI QIDQ3399703FDOQ3399703

Authors: Gang Yu, Zhong-Wei Xu 

Publication date: 12 October 2009

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

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

zbMATH Keywords

Safety Component (SC)safety requirementsafety-critical software

Mathematics Subject Classification ID

Theory of software (68N99)

Cited In (4)

• The role of concept, context, and component for dependable software development
• Safety interface scheme for component-based safety critical software
• Title not available (Why is that?)
• 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)