Luận Văn Thạc Sĩ Đặc Tả Và Kiểm Chứng Các Hệ Thống Thời Gian Thực Sử Dụng Uppaal

Trong thời đại ngày nay, các hệ thống có yếu tố thời gian và đặc biệt các hệ thống thời gian thực là một trong những lĩnh vực nhận được rất nhiều sự quan tâm của giới khoa học nói chung và giới khoa học nghiên cứu về công nghệ nói riêng. Thật vây, hệ thống thời gian thực được ứng dụng rất nhiều trong đời sống xã hội, trong sản xuất, trong y tế, trong hàng không vũ trụ và trong quân sự, gần như trong mọi lĩnh vực ta đều thấy có sự góp mặt của những ứng dụng trong hệ thống thời gian thực. Không chỉ góp mặt trong nhiều lĩnh vực mà sự góp mặt của nó còn có tầm quan trọng rất lớn đối với hệ thống.

• Luận văn thạc sĩ tin học
• Chuyên ngành Kỹ Thuật Phần Mềm
• Người hướng dẫn khoa học: PGS.TS Phạm Ngọc Hùng
• Tác giả: Phạm Thị Tố Nga
• Số trang: 63
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Đại học Công nghệ - ĐHQG Hà Nội 2017

Link Download
http://lib.uet.vnu.edu.vn/handle/123456789/818
https://drive.google.com/uc?id=147qeIBN3BTBmRov39M-usbJzgK-iWi7p
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1