The following pages link to MACOM (Q19948):
Displaying 6 items.
- Specification techniques for Markov reward models (Q686334) (← links)
- A class of hierarchical queueing networks and their analysis (Q1319159) (← links)
- Formal reasoning about finite-state discrete-time Markov chains in HOL (Q2434565) (← links)
- From queueing networks to Markov chains: The XMARCA interface (Q3122570) (← links)
- Formalization of Finite-State Discrete-Time Markov Chains in HOL (Q3172906) (← links)
- Formal Analysis of Memory Contention in a Multiprocessor System (Q5166668) (← links)