Danh mục

Event Order Abstraction for Parametric Real-Time System Verification

Số trang: 21      Loại file: pdf      Dung lượng: 360.51 KB      Lượt xem: 21      Lượt tải: 0    
tailieu_vip

Xem trước 3 trang đầu tiên của tài liệu này:

Thông tin tài liệu:

Some beautiful and famous countryside sites are at risk of being over-used for large-scale walks. This kind of activity brings hundreds of tramping feet and a hubbub of noise and bustle which can destroy the very beauty and atmosphere for which the place is famous. Other sites and routes are much more robust and lend themselves happily to throngs of people all enjoying themselves at the same place at the same time. Choose your event site wisely.
Nội dung trích xuất từ tài liệu:
Event Order Abstraction for Parametric Real-Time System Verification

Tài liệu được xem nhiều: