Petri Net Based Verification of Causal Dependencies in Electronic Control Unit Test Cases.

Sebastian Thiel, Frank Derichsweiler

Browse the full COMPSAC paper archive.