From requirements to software trustworthiness using scenarios and finite state machine.

Mitra Nami, Witold Suryn

Browse the full IECON paper archive.