Go to Deriscope's documentation start page
Stoch_Process
Stoch Process
is an
abstract
direct subtype
of
Probability Measure
with functions
Stoch Process Functions
and direct subtypes
Stoch Process subtypes
that represents a generic stochastic process.