Mathematical formalism and techniques used for computer system modeling and analysis. Reviews probability, transform theory, coding theory, and Petri nets. Topics may include knowledge based modeling, validation procedures, various simulation techniques for stochastic process and real-time distributed systems.