학술논문
Testing the IPC protocol for a real-time operating system
Document Type
Conference Paper
Author
Source
In: Verified Software: Theories, Tools, and Experiments - 7th International Conference, VSTTE 2015, Revised Selected Papers . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 9593:40-60)
Subject
Language
English
ISSN
16113349
03029743
03029743