Case study: Using requirements and finite state machine for evaluating software trustworthiness.

Mitra Nami, Witold Suryn

Browse the full IECON paper archive.