Stochastic Model Checking
52.80 EUR
Ein praxisorientiertes Lehrbuch, das die Theorie des stochastischen Modellprüfens mit anschaulichen Fallstudien verbindet und fortgeschrittene Methoden wie probabilistische Zustandsanalyse sowie Verifikation von Zufallsprozessen detailliert erklärt.