TY  - CPAPER
AU  - Vasiliy Pinkevich
TI  - COMPUTATIONAL PROCESS SPECIFICATION MODEL FOR EMBEDDED SYSTEMS TESTING AND DEBUG WITH RECORD AND DETERMINISTIC REPLAY
T2  - SGEM International Multidisciplinary Scientific GeoConference EXPO Proceedings; 18th International Multidisciplinary Scientific GeoConference SGEM2018, Informatics, Geoinformatics and Remote Sensing
PY  - 2018
SP  - 231
EP  - 238
DO  - 10.5593/sgem2018/2.1/s07.030
PB  - STEF92 Technology
ER  -