Efficient simulation techniques for stochastic model checking

Thông tin tác giả: Haverkort, B.R.H.M., Reijsbergen, D.
Thông tin xuất bản: University of Twente (UT) 2020
Nguồn tài liệu: Trường Đại học Thủy Lợi