Checking parallel real-time systems for temporal duration properties by linear programming = Kiểm tra hệ thời gian thực hoạt động song song đối với các tính chất khoáng tuần tự bằng quy hoạch tuyến tính /
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Artigo |
| Idioma: | Vietnamese |
| Những chủ đề: | |
| Các nhãn: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| LEADER | 00997nam a2200265 4500 | ||
|---|---|---|---|
| 001 | DLU130145235 | ||
| 005 | ##20130107 | ||
| 040 | # | # | |a DLU |b vie |
| 041 | # | # | |a vie |
| 044 | # | # | |a vn |
| 100 | # | # | |a Pham Hong Thai. |
| 245 | # | # | |a Checking parallel real-time systems for temporal duration properties by linear programming = |b Kiểm tra hệ thời gian thực hoạt động song song đối với các tính chất khoáng tuần tự bằng quy hoạch tuyến tính / |c Pham Hong Thai. |
| 653 | # | # | |a Kiểm chứng |
| 653 | # | # | |a Qui hoạch tuyến tính |
| 653 | # | # | |a Thuật toán |
| 773 | # | # | |t Tạp chí Khoa học Tự nhiên - Công nghệ (Đại học Quốc gia Hà Nội) |g Số 4(19), 2003, tr. 49-62 |
| 920 | # | # | |a Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt |
| 994 | # | # | |a DLU |
| 900 | # | # | |a True |
| 911 | # | # | |a Nguyễn Thị Linh Chi |
| 925 | # | # | |a G |
| 926 | # | # | |a A |
| 927 | # | # | |a BB |
| 980 | # | # | |a Thư viện Trường Đại học Đà Lạt |