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]

Authors

Mitra Nami

This author has not been identified. Look up 'Mitra Nami' in Google

Witold Suryn

This author has not been identified. Look up 'Witold Suryn' in Google