Safety interface scheme for component-based safety critical software

DOI10.3724/SP.J.1087.2008.02933zbMath1171.68424MaRDI QIDQ3399704

Ying Liu, Zhong-Wei Xu

Publication date: 12 October 2009

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

zbMATH Keywords

safety guaranteecomponent-based software developmentsafety critical softwaremulti-faults modesafety interface

Mathematics Subject Classification ID

Theory of software (68N99)

This page was built for publication: Safety interface scheme for component-based safety critical software