External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Modelling and Verification of the FlexRay Startup Mechanism using UPPAAL Model Checker

Shimmi Asokan, G. Santhosh Kumar. Modelling and Verification of the FlexRay Startup Mechanism using UPPAAL Model Checker. In Bijoy Antony Jose, Jimson Mathew, editors, 8th International Symposium on Embedded Computing and System Design, ISED 2018, Cochin, India, December 13-15, 2018. pages 69-73, IEEE, 2018. [doi]

Authors

Shimmi Asokan

This author has not been identified. Look up 'Shimmi Asokan' in Google

G. Santhosh Kumar

This author has not been identified. Look up 'G. Santhosh Kumar' in Google
runs on