A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carina Pilch, Maurice Krause, Anne Remke, Erika Ábrahám. A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata. In Ritchie Lee, Susmit Jha, Anastasia Mavridou, editors, NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. Volume 12229 of Lecture Notes in Computer Science, pages 381-400, Springer, 2020. [doi]

This author has not been identified. Look up 'Carina Pilch' in GoogleThis author has not been identified. Look up 'Maurice Krause' in GoogleThis author has not been identified. Look up 'Anne Remke' in GoogleThis author has not been identified. Look up 'Erika Ábrahám' in Google

runs on WebDSL