Modeling Decentralized Real-Time Control by State Space Partition of Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thanikesavan Sivanthi, Srivas Chennu, Lothar Kreft. Modeling Decentralized Real-Time Control by State Space Partition of Timed Automata. In 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2005), 10-12 October 2005, Montreal, Canada. pages 229-235, IEEE Computer Society, 2005. [doi]

This author has not been identified. Look up 'Thanikesavan Sivanthi' in GoogleThis author has not been identified. Look up 'Srivas Chennu' in GoogleThis author has not been identified. Look up 'Lothar Kreft' in Google

runs on WebDSL