- Quản trị doanh nghiệp vừa và nhỏ(4068)
- Lập trình máy tính(2386)
- Thiết kế đồ họa(1026)
- Điện công nghiệp(2482)
- May và thiết kế thời trang(1528)
- Công nghệ ô tô(1795)
- Kế toán doanh nghiệp(3804)
- Hàn(1928)
- Điện tử Công nghiệp(2356)
- Cắt gọt kim loại(960)
- Quản trị mạng máy tính(3379)
- Kỹ thuật máy lạnh và điều hòa không khí(1675)
- Công nghệ thông tin (ứng dụng phần mềm)(3008)
Validation of UML models via a mapping to communicating extended timed automata
This work is part of the OMEGA IST project, whose aim is building a basis for a UML based development environment for real-time and embedded systems, including a set of notations for different aspects with common semantic foundations, tool supported verification methods for large systems, including real-time related aspects.
Từ khóa: Validation of UML models, Sơ đồ lớp UML, Mô hình UML, Kỹ thuật lập trình, Mô hình lập trình, lập trình máy tính
19 p caodangnghe_01 02/02/2019 1 0
ERROR:connection to 10.20.1.100:9315 failed (errno=111, msg=Connection refused)
Phát triển bởi Thư viện số
