Mitra Nami, Witold Suryn. Case study: Using requirements and finite state machine for evaluating software trustworthiness. In 38th Annual Conference on IEEE Industrial Electronics Society, IECON 2012, Montreal, QC, Canada, October 25-28, 2012. pages 3095-3100, IEEE, 2012. [doi]
Abstract is missing.