1. Trang chủ
  2. » Luận Văn - Báo Cáo

Checking parallel real time systems for temporal duration properties by linear programming

14 7 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 14
Dung lượng 1,65 MB

Nội dung

VNU JOURNAL OF SCIENCE Nat Sci & Tech T XIX N(,4 2003 C H E C K IN G PA R A L L E L R E A L -T IM E S Y S T E M S F O R T E M P O R A L D U R A T IO N P R O P E R T IE S B Y L IN E A R P R O G R A M M IN G * P h am Hong T hai Fncuỉtv o ỉ Technology, V irtnam National ưnivrrsity lỈHiìoi A b s tr a c t Mnđrl ia.c*€* For simplicit V in tliis p a p o r w

Ngày đăng: 18/03/2021, 10:35

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN