KYHTQG

Some heuristics for parameter synthesis for Parametric Interval Markov Chains

Năm XB 2020 Tạp chí / Hội thảo Hội thảo quốc gia lần thứ XXIII 400-404; ISBN: 978-604-67-1744-7 Đơn vị CNTT

Tác giả

← Quay lại danh sách bài báo