Informatics2018
COMPUTATIONAL PROCESS SPECIFICATION MODEL FOR EMBEDDED SYSTEMS TESTING AND DEBUG WITH RECORD AND DETERMINISTIC REPLAY
Vasiliy Pinkevich · SGEM International Multidisciplinary Scientific GeoConference EXPO Proceedings; 18th International Multidisciplinary Scientific GeoConference SGEM2018, Informatics, Geoinformatics and Remote Sensing