Model checking of finite-state machine-based scenario-aware dataflow using timed automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mladen Skelin, Erik Ramsgaard Wognsen, Mads Chr. Olesen, René Rydhof Hansen, Kim Guldstrand Larsen. Model checking of finite-state machine-based scenario-aware dataflow using timed automata. In 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015, Siegen, Germany, June 8-10, 2015. pages 235-244, IEEE, 2015. [doi]

This author has not been identified. Look up 'Mladen Skelin' in GoogleThis author has not been identified. Look up 'Erik Ramsgaard Wognsen' in GoogleThis author has not been identified. Look up 'Mads Chr. Olesen' in GoogleThis author has not been identified. Look up 'René Rydhof Hansen' in GoogleThis author has not been identified. Look up 'Kim Guldstrand Larsen' in Google

runs on WebDSL