| Tài liệu tham khảo |
Loại |
Chi tiết |
| [1] Đoàn Văn Ban, Hồ Văn Hương (2001), "Tính khả tuần tự của giao thức điều khiển tương tranh khoá hai pha trong cơ sở dữ liệu thời gian thực", Tạp chí Tin học và Điều khiển học, T.17, S.3 (2001), Hà Nội 2001, trang 25-32 |
Sách, tạp chí |
| Tiêu đề: |
Tính khả tuần tự của giao thức điềukhiển tương tranh khoá hai pha trong cơ sở dữ liệu thời gian thực |
| Tác giả: |
Đoàn Văn Ban, Hồ Văn Hương (2001), "Tính khả tuần tự của giao thức điều khiển tương tranh khoá hai pha trong cơ sở dữ liệu thời gian thực", Tạp chí Tin học và Điều khiển học, T.17, S.3 |
| Năm: |
2001 |
|
| [2] Phạm Hồng Thái (2002), "Kiểm tra mô hình lưới ôtômat thời gian", Kỷ yếu hội thảo quốc gia: Một số vấn đề chọn lọc của Công nghệ thông tin. Nha Trang, 6-2002, trang 278–287, NXB Khoa học kỹ thuật, Hà Nội, 9-2003 |
Sách, tạp chí |
| Tiêu đề: |
Kiểm tra mô hình lưới ôtômat thời gian |
| Tác giả: |
Phạm Hồng Thái |
| Nhà XB: |
NXB Khoa học kỹ thuật |
| Năm: |
2002 |
|
| [3] Phạm Hồng Thái, Mai Tuấn Linh (2003), "Khảo sát tính rời rạc hoá được của bất biến khoảng tuyến tính", Báo cáo tại hội thảo quốc gia: Một số vấn đề chọn lọc của Công nghệ thông tin, Thái Nguyên, 8-2003, trang 364-374, NXB Khoa học kỹ thuật, Hà Nội, 1-2005 |
Sách, tạp chí |
| Tiêu đề: |
Khảo sát tính rời rạc hoá được củabất biến khoảng tuyến tính |
| Tác giả: |
Phạm Hồng Thái, Mai Tuấn Linh |
| Nhà XB: |
NXB Khoahọc kỹ thuật |
| Năm: |
2003 |
|
| [4] Phạm Hồng Thái, Mai Tuấn Linh (2004), "Về bài toán kiểm chứng tính chất khoảng tuyến tính", Báo cáo tại hội thảo quốc gia: Một số vấn đề chọn lọc của Công nghệ thông tin. Đà nẵng, 8-2004 |
Sách, tạp chí |
| Tiêu đề: |
Về bài toán kiểm chứng tính chấtkhoảng tuyến tính |
| Tác giả: |
Phạm Hồng Thái, Mai Tuấn Linh |
| Năm: |
2004 |
|
| [5] R. Alur, C. Courcoubetis, and D.L. Dill (1990), "Model checking for real-time systems", Proceedings of the Fifth Annual Symposium on Logic in Computer Science, pp. 414– 425. IEEE Computer Society Press, 1990 |
Sách, tạp chí |
| Tiêu đề: |
Model checking for real-timesystems |
| Tác giả: |
R. Alur, C. Courcoubetis, and D.L. Dill |
| Năm: |
1990 |
|
| [6] R. Alur, C. Courcoubetis, T.A. Henzinger (1993), "Computing accumulated delays in real-time systems", Proceedings of the Fifth Conference on Computer- Aided Verification, LNCS 818, pp. 181–197, 1993 |
Sách, tạp chí |
| Tiêu đề: |
Computing accumulateddelays in real-time systems |
| Tác giả: |
R. Alur, C. Courcoubetis, T.A. Henzinger |
| Năm: |
1993 |
|
| [7] R. Alur and D.L. Dill (1994), "A Theory of Timed Automata", Theoretical Computer Science, pp. 183–235, 1994 |
Sách, tạp chí |
| Tiêu đề: |
A Theory of Timed Automata |
| Tác giả: |
R. Alur and D.L. Dill |
| Năm: |
1994 |
|
| [8] Rajeev Alur (1999), "Timed Automata", Proceedings of 11 th International Conference on Computer-Aided Verification, LNCS 1633, pp. 1–22, Springer- Verlag, 1999 |
Sách, tạp chí |
| Tiêu đề: |
Timed Automata |
| Tác giả: |
Rajeev Alur |
| Năm: |
1999 |
|
| [9] R. Alur, L. Fix, and T.A. Henzinger (1999), "Event-clock automata: A deter- minizable class of timed automata", Theoretical Computer Science 211:213–273, 1999 |
Sách, tạp chí |
| Tiêu đề: |
Event-clock automata: A deter-minizable class of timed automata |
| Tác giả: |
R. Alur, L. Fix, and T.A. Henzinger |
| Năm: |
1999 |
|
| [10] E. Asarin, O. Maler, P. Caspi (1997) "A Kleene Theorem for Timed Automata", G. Winskel (Eds.), In Proceedings LICS’97, 1997 |
Sách, tạp chí |
| Tiêu đề: |
A Kleene Theorem for Timed Automata |
|
| [11] E. Asarin, O. Maler, A. Pnueli (1998), "On Discretization of Delays in Timed Automata and Digital Circuits", R. de Simone and D. Sangiorgi (Eds.), In Proceedings Concur’98, 470–484, LNCS 1466, Springer-Verlag, 1998 |
Sách, tạp chí |
| Tiêu đề: |
On Discretization of Delays in TimedAutomata and Digital Circuits |
| Tác giả: |
E. Asarin, O. Maler, A. Pnueli |
| Năm: |
1998 |
|
| [13] J. Bengtsson, K. Larsen, F. Larson, P. Pettersson, W. Yi and C. Weise (1998),"New generation of UPPAAL", Proceedings of the International Workshop on Software Tools for Technology Transfer, Aalborg, Denmark, July 1998 |
Sách, tạp chí |
| Tiêu đề: |
New generation of UPPAAL |
| Tác giả: |
J. Bengtsson, K. Larsen, F. Larson, P. Pettersson, W. Yi and C. Weise |
| Năm: |
1998 |
|
| [14] A. Bouajjani, S.Tripakis, S.Yovine (1997), "On-the-fly symbolic model-checking for real-time systems", Proceedings of the 18 th IEEE Real Time Systems Sym- posium, RTSS’97, San Francisco, CA, USA, December 1997. IEEE Computer Society Press 1997 |
Sách, tạp chí |
| Tiêu đề: |
On-the-fly symbolic model-checkingfor real-time systems |
| Tác giả: |
A. Bouajjani, S.Tripakis, S.Yovine |
| Năm: |
1997 |
|
| [15] Patricia Bouyer (2002), "Timed Automata May Cause Some Troubles", Re- search Report LSV-02-9, July 2002 |
Sách, tạp chí |
| Tiêu đề: |
Timed Automata May Cause Some Troubles |
| Tác giả: |
Patricia Bouyer |
| Năm: |
2002 |
|
| [16] M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, S. Yovine (1998), "Kro- nos: A Model-Checking Tool for Real-Time Systems", Proceedings of 10 th In- ternational Conference on Computer Aided Verification, Vancouver, Canada", Vol. 1427, Springer-Verlag, A. J. Hu and M. Y. Vardi eds., pp. 596–600, 1998 |
Sách, tạp chí |
| Tiêu đề: |
Kro-nos: A Model-Checking Tool for Real-Time Systems", Proceedings of 10th In-ternational Conference on Computer Aided Verification, Vancouver, Canada |
| Tác giả: |
M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, S. Yovine |
| Năm: |
1998 |
|
| [17] Victor A. Braberman and Dang Van Hung (1998), "On Checking Timed Automata for Linear Duration Invariants" Technical Report 135, UNU/IIST, P.O.Box 3058, Macau, February 1998. Proceedings of the 19th Real-Time Sys- tems Symposium RTSS’98, December 22, 1998, Madrid, Spain, IEEE Computer Society Press 1998, pp. 264–273 |
Sách, tạp chí |
| Tiêu đề: |
On Checking TimedAutomata for Linear Duration Invariants |
| Tác giả: |
Victor A. Braberman and Dang Van Hung |
| Năm: |
1998 |
|
| [18] Z. Chaochen, C.A.R. Hoare, and A.P. Ravn (1994), "A calculus of durations", Information Processing Letters, 40(5):269–276, 1994 |
Sách, tạp chí |
| Tiêu đề: |
A calculus of durations |
| Tác giả: |
Z. Chaochen, C.A.R. Hoare, and A.P. Ravn |
| Năm: |
1994 |
|
| [19] Zhou Chaochen, Zhang Jingzhong, Yang Lu, and Li Xiaoshan (1994), "Linear Duration Invariants", Research Report 11, UNU/IIST, P.O.Box 3088, Macau, July 1994. Published in Formal Techniques in Real-Time and Fault-Tolerant systems, LNCS 863, 1994 |
Sách, tạp chí |
| Tiêu đề: |
LinearDuration Invariants |
| Tác giả: |
Zhou Chaochen, Zhang Jingzhong, Yang Lu, and Li Xiaoshan |
| Năm: |
1994 |
|
| [20] C. Choffrut and M. Goldwurm (2000), "Timed Automata with Periodic Clock Constraints", Journal of Automata, Languages and Combinatorics, vol.5(4):371–404, 2000 |
Sách, tạp chí |
| Tiêu đề: |
Timed Automata with PeriodicClock Constraints |
| Tác giả: |
C. Choffrut and M. Goldwurm |
| Năm: |
2000 |
|
| [21] Kim Yong Chun and Dang Van Hung (2004), "Verifying Real-Time Systems Us- ing Untimed Model Checking Tools", Technical Report 302, UNU-IIST, P.O.Box 3058, Macau, June 2004 |
Sách, tạp chí |
| Tiêu đề: |
Verifying Real-Time Systems Us-ing Untimed Model Checking Tools |
| Tác giả: |
Kim Yong Chun and Dang Van Hung |
| Năm: |
2004 |
|