Specification of Timed EFSM Fault Models in SDL.

Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. mit Uyar

Browse the full FORTE paper archive.