pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems.

Published in: Sci. Comput. Program. (2018)

Keyphrases