Keyword:directed graph

Papers
A Method for Determining Whether a Simulink Model Is Ready for Test Generation Takuya Ogata, Yuge Liu and Kenji Hisazumi EasyChair Preprint no. 4532