314 followers
Formalizing and verifying stochastic system architectures using Monterey Phoenix - Online First - Springer http://t.co/x4vokIS74g
Formalizing and verifying stochastic system architectures using Monterey Phoenix - Online First - Springer http://t.co/x4vokIS74g