Learning−based Compositional Verification for Synchronous Probabilistic Systems

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид: Feng, L, Han, T, Kwiatkowska, M, Parker, D
Формат: Conference item
Хэвлэсэн: Springer 2011