From requirements to software trustworthiness using scenarios and finite state machine

Mitra Nami, Witold Suryn. From requirements to software trustworthiness using scenarios and finite state machine. In 38th Annual Conference on IEEE Industrial Electronics Society, IECON 2012, Montreal, QC, Canada, October 25-28, 2012. pages 3126-3131, IEEE, 2012. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.