| Tài liệu tham khảo |
Loại |
Chi tiết |
| [1] Đỗ Đức Giáo (2000), Toán rời rạc, NXB Đại học Quốc Gia Hà Nội, Hà Nội |
Sách, tạp chí |
| Tiêu đề: |
Toán rời rạc |
| Tác giả: |
Đỗ Đức Giáo |
| Nhà XB: |
NXB Đại học Quốc Gia Hà Nội |
| Năm: |
2000 |
|
| [2] Phan Đình Diệu (1997), Lý thuyết ô-tô-mát và thuật toán, NXB Đại học và Trung học chuyên nghiệp, Hà nội |
Sách, tạp chí |
| Tiêu đề: |
Lý thuyết ô-tô-mát và thuật toán |
| Tác giả: |
Phan Đình Diệu |
| Nhà XB: |
NXB Đại học và Trung học chuyên nghiệp |
| Năm: |
1997 |
|
| [3] Vũ Đức Thi (1999), Thuật toán trong tin học, NXB Khoa học và Kỹ thuật, Hà Nội.TIẾNG ANH |
Sách, tạp chí |
| Tiêu đề: |
Thuật toán trong tin học |
| Tác giả: |
Vũ Đức Thi |
| Nhà XB: |
NXB Khoa học và Kỹ thuật |
| Năm: |
1999 |
|
| [4] A. Belinfante, J. Feenstra, R. d. Vries, J. Tretmans, N. Goga, L. Feijs, S. Mauw, and L. Heerink (1999), ―Formal test automation: A simple experiment‖. In 12th Int. Workshop on Testing of Communicating Systems, pp 179–196 |
Sách, tạp chí |
| Tiêu đề: |
In 12th Int. Workshop on Testing of Communicating Systems |
| Tác giả: |
A. Belinfante, J. Feenstra, R. d. Vries, J. Tretmans, N. Goga, L. Feijs, S. Mauw, and L. Heerink |
| Năm: |
1999 |
|
| [5] Christel Baier, Joost - Pieter Katoen (2008), Principles of Model Checking, The MIT Press Cambridge, Massachusetts London, England, chepter 1,9 |
Sách, tạp chí |
| Tiêu đề: |
Principles of Model Checking |
| Tác giả: |
Christel Baier, Joost - Pieter Katoen |
| Năm: |
2008 |
|
| [6] Edmund M. Clarke(2008),―The Birth of Model Checking‖,Book 25 Years of Model Checking, pp 1-26 |
Sách, tạp chí |
| Tiêu đề: |
Book 25 Years of Model Checking |
| Tác giả: |
Edmund M. Clarke |
| Năm: |
2008 |
|
| [8] Johan Bengtsson Kim Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi (1996),―UPPAAL — a Tool Suite forAutomatic Verification of Real–Time Systems‖,Proceedings of the DIMACS/SYCON workshop on Hybird systems III: verification and control, pp 232-243 |
Sách, tạp chí |
| Tiêu đề: |
Proceedings of the DIMACS/SYCON workshop on Hybird systems III: verification and control |
| Tác giả: |
Johan Bengtsson Kim Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi |
| Năm: |
1996 |
|
| [10] Kim G. Larsen, Paul Pettersson, and Wang Yi (1996),―Diagnostic Model- Checking for Real-Time Systems‖. Appears in Alur, Henzinger and Sontag, editors, DIMACS Workshop on Verification and Control of Hybrid Systems, HYBRID ’96 Proceedings, pp 575–586 |
Sách, tạp chí |
| Tiêu đề: |
DIMACS Workshop on Verification and Control of Hybrid Systems, HYBRID ’96 Proceedings |
| Tác giả: |
Kim G. Larsen, Paul Pettersson, and Wang Yi |
| Năm: |
1996 |
|
| [12] Luca de Alfaro and Thomas A. Henzinger (2001),―Interface Automata‖,Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering,pp 109-120 |
Sách, tạp chí |
| Tiêu đề: |
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering |
| Tác giả: |
Luca de Alfaro and Thomas A. Henzinger |
| Năm: |
2001 |
|
| [13] Marius Mikucionis Kim G, Larsen Brian Nielsen (2004),―T-UPPAAL: Online Model-based Testing of Real-time Systems‖. Proceeding ASE '04 Proceedings of the 19th IEEE international conference on Automated softwareengineering,pp 396-397 |
Sách, tạp chí |
| Tiêu đề: |
Proceeding ASE '04 Proceedings of the 19th IEEE international conference on Automated software "engineering |
| Tác giả: |
Marius Mikucionis Kim G, Larsen Brian Nielsen |
| Năm: |
2004 |
|
| [15] Wang Yi, Paul Pettersson, and Mats Daniels(1995),―Automatic Verification of Real-Time Communicating Systems by Constraint-Solving‖,Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII,pp 243-258 |
Sách, tạp chí |
| Tiêu đề: |
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII |
| Tác giả: |
Wang Yi, Paul Pettersson, and Mats Daniels |
| Năm: |
1995 |
|
| [7] Gerd Behrmann, Alexandre David, and Kim G. Larsen (2006), ―A Tutorial on Uppaal 4.0‖, Department of Computer Science, Aalborg University, Denmark |
Khác |
|
| [9] Kim G. Larsen, Paul Pettersson, Wang Yi. 1991. Model - Checking for Real - Time Systems. Proceedings of the 18th international colloquium on Automata, languages and programming. Page 115-126 |
Khác |
|
| [11] Le Vo Hue Quan (2012). ―Model Checking Real-Time Systems with Schedulers‖. Japan Adv anced Institute of Science and Technology |
Khác |
|