MACOM

swMATH7932MaRDI QIDQ19948FDOQ19948

Author name not available (Why is that?)

Official website: http://www.researchgate.net/publication/2625120_MACOM_-_A_Tool_for_Evaluating_Communication_Systems

Cited In (10)

• 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
• A class of hierarchical queueing networks and their analysis
• VESTA
• DSPNexpress
• SPNP
• ESP
• Formal reasoning about finite-state discrete-time Markov chains in HOL

This page was built for software: MACOM