KYHTQG

Some heuristics for parameter synthesis for Parametric Interval Markov Chains

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