Login / Signup

Verifying OSEK/VDX automotive applications: A Spin-based model checking approach.

Haitao ZhangGuoqiang LiZhuo ChengJinyun Xue
Published in: Softw. Test. Verification Reliab. (2018)
Keyphrases