What people are saying - Write a review
We haven't found any reviews in the usual places.
Integration Testing Based on Software Couplings Zhenyi Jin and A Jefferson
Experience with the Application of HAZOP to ComputerBased Systems J
The Safety Guaranteeing System at Station HoornKersenboogerd J F Groote J W C
2 other sections not shown
Other editions - View all
able abstract actions algorithm allows analysis application approach believes called checking clock committed communication complete Computer condition consider consistency constraints contains correct criteria critical decision defined definition dependability described detected device Direction documentation effects Engineering error example execution expressed failure fault Figure formal methods formulas function given goal implementation initial input integration internal IV&V light logic Management means messages mode module occur operation output perform policies possible presented problem procedure produce proof properties protocol relation Report represents requirements Research rules safety safety kernel satisfies schedule selected sequence specification standard structure synchronization techniques testing tion tool traffic transaction transition true unit updates valid variables verification version period