Sign in

Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158].

Radu CalinescuMilan CeskaSimos GerasimouMarta KwiatkowskaNicola Paoletti
Published in: J. Syst. Softw. (2018)
Keyphrases
  • stochastic systems
  • conservation laws
  • stochastic models
  • probabilistic model
  • software engineering