Back to Search Start Over

Testing Cyber-Physical Systems Using Timed Finite State Machines

Authors :
Maxim Gromov
Nina Yevtushenko
Andrey Laputenko
Source :
Russian Physics Journal. 59:2181-2182
Publication Year :
2017
Publisher :
Springer Science and Business Media LLC, 2017.

Subjects

Subjects :
Microcontroller
Finite-state machine
Virtual finite-state machine
Computer science
Cyber-physical system
General Physics and Astronomy
Control engineering

Details

ISSN :
15739228 and 10648887
Volume :
59
Database :
OpenAIRE
Journal :
Russian Physics Journal
Accession number :
edsair.doi...........b4f902e21a1853d5dd629a93cff71586

Tools

Authors Abstract Subjects Details