Stochastic Model Checking
51.36 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.