A Spin-Based Approach for Checking OSEK/VDX Applications

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-319-17581-2_16 ◽

2015 ◽

pp. 239-255 ◽

Cited By ~ 5

Author(s):

Haitao Zhang ◽

Toshiaki Aoki ◽

Yuki Chiba

Download Full-text