Vue normale
Vue MARC
- Computer logic
Computer logic (Topical Term)
Machine generated authority record.
Work cat.: (IMIST)44851: Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems