A component-based approach to verification of embedded control systems using TLA:::+::: - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ondrej Rysavy, Jaroslav Ráb. A component-based approach to verification of embedded control systems using TLA:::+:::. In Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 2008, Wisla, Poland, 20-22 October 2008. pages 719-725, IEEE, 2008. [doi]

This author has not been identified. Look up 'Ondrej Rysavy' in GoogleThis author has not been identified. Look up 'Jaroslav Ráb' in Google

runs on WebDSL