pState: A probabilistic statecharts translator

Bojan Nokovic, Emil Sekerinski. pState: A probabilistic statecharts translator. In 2nd Mediterranean Conference on Embedded Computing, MECO 2013, Budva, Montenegro, June 15-20, 2013. pages 29-32, IEEE, 2013. [doi]

Abstract

Abstract is missing.