Daisuke Ishii is qualified to endorse.
SMT-Based Model Checking of Industrial Simulink Models
| Daisuke Ishii: | Is registered as an author of this paper. Can endorse for cs.AI, cs.DC, cs.LO, cs.SE. (why?) |
Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do and Hideaki Takai are not registered as owners of this paper. (why?)