Nghiên cứu và ứng dụng kiểm chứng mô hình cho các hệ thống phát triển trên môi trường Lustre/SCADE

কিউআর কোড

Nghiên cứu và ứng dụng kiểm chứng mô hình cho các hệ thống phát triển trên môi trường Lustre/SCADE

সংরক্ষণ করুন:

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Nguyễn Văn Định
ভাষা:	vie
প্রকাশিত:	Đại học Đà Nẵng 2013
অনলাইন ব্যবহার করুন:	https://dlib.udn.vn/module/chi-tiet-sach?RecordID=4041
ট্যাগগুলো:	ট্যাগ যুক্ত করুন কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!

Thư viện lưu trữ:	Trung tâm Công nghệ thông tin và Học liệu số, Đại học Đà Nẵng

অনুরূপ উপাদানগুলি

Automatic Regression Testing for Lustre/SCADE Applications
অনুযায়ী: Trinh Cong Duy

Creating test data generation tool for Lustre/SCADE programs using model checking

Kiểm chứng mô hình FAMA trên HOSE

Kiểm chứng mô hình gây tiêu chảy trên chuột nhắt trắng
অনুযায়ী: Nguyễn, Trương Minh Thế, অন্যান্য
প্রকাশিত: (2024)

Kiểm định mối quan hệ giữa phát triển tài chính và giảm nghèo bằng mô hình FMOLS
অনুযায়ী: Phạm, Bích Hồng
প্রকাশিত: (2023)

Kiểm chứng mô hình thiết kế và đánh giá mạng Ethernet
প্রকাশিত: (2011)

Thiết kế, chế tạo mô hình đo và kiểm chứng số reynolds
অনুযায়ী: Trần, Thị Vinh

THIẾT KẾ, CHẾ TẠO MÔ HÌNH ĐO VÀ KIỂM CHỨNG SỐ REYNOLDS
অনুযায়ী: Trần, Thị Vinh, অন্যান্য
প্রকাশিত: (2023)

Phương pháp hình thức kiểm chứng hệ thống ATM sử dụng JML
অনুযায়ী: Đào, Thị Hường
প্রকাশিত: (2023)

Kiểm chứng mô hình gây viêm loét đại tràng bằng Dextran sodium sulfate (DSS) trên chuột nhắt trắng Swiss Albino
অনুযায়ী: Lê, Hoàng Minh Quân, অন্যান্য
প্রকাশিত: (2024)

Kiểm định hiệu ứng Tết nguyên đán trên thị trường chứng khoán Việt Nam
অনুযায়ী: Trần, Thị Tuấn Anh
প্রকাশিত: (2023)

Mô hình hóa và ứng dụng máy tính trong đánh giá tác động môi trường (mô hình hóa các hệ sinh thái) :
অনুযায়ী: Mai, Đình Yên
প্রকাশিত: (1996)

Mô hình hệ thống kiểm soát ổn định thấm nền đê
অনুযায়ী: Bùi, Văn Trường
প্রকাশিত: (2024)

KIỂM CHỨNG MÔ HÌNH VẬT LIỆU BÊ TÔNG VÀ CỐT THÉP TRONG LS-DYNA BẰNG THỰC NGHIỆM
অনুযায়ী: Nguyễn, Công Nghị, অন্যান্য
প্রকাশিত: (2025)

Mô hình kiểm soát ô nhiễm không khí
অনুযায়ী: Đinh, Văn Châu
প্রকাশিত: (2017)

Kiểm chứng hệ mô phỏng tương tác chuyển tiếp thời gian thực cho lò phản ứng hạt nhân nghiên cứu Đà Lạt
অনুযায়ী: Cao, Thanh Long
প্রকাশিত: (2023)

Kiểm chứng hệ mô phỏng tương tác chuyển tiếp thời gian thực cho lò phản ứng hạt nhân nghiên cứu Đà Lạt
অনুযায়ী: Cao, Thanh Long
প্রকাশিত: (2023)

Kiểm định mô hình năm nhân tố Fama - French kết hợp nhân tố thanh khoản trên thị trường chứng khoán Việt Nam :
অনুযায়ী: Huỳnh, Phương Linh
প্রকাশিত: (2019)

Mô hình chủ đề và ứng dụng trong tìm kiếm thông tin
অনুযায়ী: Hà, Thị Thanh, অন্যান্য
প্রকাশিত: (2019)

Nghiên cứu tác dụng của hế mọ trên mô hình hội chứng ruột kích thích ở chuột nhắt trắng thực nghiệm
অনুযায়ী: Trần, Phi Hùng, অন্যান্য
প্রকাশিত: (2024)

ứng dụng mô hình Probit kiểm định bài toán đầu tư ứng dụng quyền chọn thực ở Thái Lan
অনুযায়ী: Nguyễn, Đình Thọ
প্রকাশিত: (2019)

Chung cư thế hệ mới

Nghiên cứu, chế tạo mô hình hệ thống phanh dầu trên mô hình cầu xe
অনুযায়ী: Nguyễn Thanh Tiền
প্রকাশিত: (2022)

Mô hình kiểm soát và dự báo nhiễm bẩn môi trường nước
অনুযায়ী: Phạm, Toàn Thắng
প্রকাশিত: (2011)

Đà Lạt hướng về mô hình phát triển mới
অনুযায়ী: Nguyễn, Đình Toàn
প্রকাশিত: (2021)

Mô hình MOORA dựa vào entropy mờ mới ứng dụng cho hệ thống thông tin tuyển dụng
অনুযায়ী: Nguyễn, Hữu Hải, অন্যান্য
প্রকাশিত: (2023)

Hệ thống hỗ trợ kiểm tra tính đúng đắn cuả mô hình DFD
প্রকাশিত: (2011)

XÂY DỰNG MÔ HÌNH PHÁT TRIỂN THỂ DỤC THỂ THAO QUẦN CHÚNG KHU VỰC NÔNG THÔN MỚI
অনুযায়ী: Bùi, Ngọc, অন্যান্য
প্রকাশিত: (2025)

Hệ thống tích hợp ứng dụng Decktop và ứng dụng Web với mô hình 3 lớp trên .net /

Ứng dụng mô hình bên thứ ba cấp phát chứng thư X.509 trên nền tính toán đám mây :
অনুযায়ী: Nguyễn, Trung Kiên
প্রকাশিত: (2016)

Mô hình tìm kiếm bãi đỗ xe tối ưu sử dụng hệ thống đặt chỗ

Chuyển đổi mô hình UML sáng mô hình thực thể - Mối quan hệ /
অনুযায়ী: Võ Đăng Huân.

Thiết kế và chế tạo mô hình hệ thống chiết rót và kiểm tra sản phẩm
অনুযায়ী: Hoàng Đình Đạt ;Phan Thượng Thống
প্রকাশিত: (2025)

Nghiên cứu phát triển mô hình và giải pháp xây dựng hệ thống tìm kiếm thực thể tiếng Việt
অনুযায়ী: Hà, Quang Thụy, অন্যান্য
প্রকাশিত: (2015)

ứng dụng mô hình hồi quy logistic dự báo ống bể trên hệ thống phân phối nước
অনুযায়ী: Phạm, Thị Minh Lành, অন্যান্য
প্রকাশিত: (2019)

Nghiên cứu và phát triển mô hình ngoại quang sản phẩm ứng dụng công nghệ cognex in-sight vào khâu kiểm tra chất lượng pcb
অনুযায়ী: Huỳnh Đình Sâm
প্রকাশিত: (2024)

Thu thập, kiểm tra, đánh giá chứng cứ trong tố tụng hình sự: tiếp cận dựa trên quyền của chủ thể
অনুযায়ী: Đinh, Thị Mai
প্রকাশিত: (2023)

Mô hình ứng dụng của khai triển Taylor
অনুযায়ী: Võ, Thị Thu Thủy, অন্যান্য
প্রকাশিত: (2024)

Vấn đề ràng buộc toàn vẹn trong mô hình quan hệ và hệ kiểm tra ràng buộc về FD - ứng dụng : Đề tài nghiên cứu khoa học cấp trường /
অনুযায়ী: Đặng Phước Huy
প্রকাশিত: (2006)

Kiểm định lại mô hình tăng trưởng Mankiw–Romer–Weil (MRW): Bằng chứng và hàm ý chính sách
অনুযায়ী: Nguyễn, Thị Ngọc Nga
প্রকাশিত: (2025)