Tóm tắt Luận án Tiến sĩ Khoa học máy tính: Một cách tiếp cận hình thức trong việc mô hình hóa tham số động cho bài toán kiểm tra tắc nghẽn trên mạng cảm biến không dây
14
0
0
8 trang