Formal verification of AUTOSAR FlexRay state manager

Formal verification of AUTOSAR FlexRay state manager

Files

Department

Computer Science & Engineering Department

Abstract

[abstract not available]

Publication Date

2-10-2015

Document Type

Book Chapter

Book Title

Proceedings of 2014 9th International Design and Test Symposium, IDT 2014

ISBN

SCOPUS_ID:84924308546

Publisher

IEEE

City

Algeries, Algeria

First Page

193

Last Page

198

Formal verification of AUTOSAR FlexRay state manager

Share

COinS