A toolset for validation and verification of automotive control software using formal patterns

Yunja CHOI  Dongwoo KIM  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2017/04/19
DOI: 10.1587/transinf.2017EDL8042
Full Text: PDF(460.8KB)