Efficient simulation techniques for stochastic model checking
PhD thesis Univesity of Twente, Summary in English
Lưu vào:
| Tác giả chính: | , |
|---|---|
| Định dạng: | LA |
| Ngôn ngữ: | eng |
| Thông tin xuất bản: |
University of Twente (UT)
2020
|
| Chủ đề: | |
| Truy cập trực tuyến: | http://tailieuso.tlu.edu.vn/handle/DHTL/4622 |
| Từ khóa: |
Thêm từ khóa bạn đọc
Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!
|