MACOM
From MaRDI portal
Cited in
(11)- Formal Analysis of Memory Contention in a Multiprocessor System
- Specification techniques for Markov reward models
- Formalization of finite-state discrete-time Markov chains in HOL
- From queueing networks to Markov chains: The XMARCA interface
- PEPS
- VESTA
- DSPNexpress
- SPNP
- ESP
- A class of hierarchical queueing networks and their analysis
- Formal reasoning about finite-state discrete-time Markov chains in HOL
This page was built for software: MACOM
