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.

Teilen: