View of Verification of a fieldbus scheduling protocol using timed automata

Return to Article Details Verification of a fieldbus scheduling protocol using timed automata Download Download PDF