Details

Title

Verification of Flexray Start-Up Mechanism by Timed Automata

Journal title

Metrology and Measurement Systems

Yearbook

2010

Numer

No 3

Publication authors

Keywords

Control and Systems Engineering ; Instrumentation

Divisions of PAS

Nauki Techniczne

Publisher

Polish Academy of Sciences Committee on Metrology and Scientific Instrumentation

Date

2010

Identifier

ISSN 0860-8229

DOI

10.2478/v10178-010-0039-z

×