1 citations · 1 across the 1 of their papers we have counts for
1 paper
Jianhong Zhao, Yongwang Zhao, Peisen Yao +3
Complex safety-critical systems require multiple models for a comprehensive description, resulting in error-prone development and laborious verification. Bidirectional transformati…