A Framework for Formal Specification of Embedded Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frantisek Bures, Ondrej Rysavy, Frantisek Scuglik, Miroslav Svéda. A Framework for Formal Specification of Embedded Systems. In 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA. pages 323-330, IEEE Computer Society, 2005. [doi]

This author has not been identified. Look up 'Frantisek Bures' in GoogleThis author has not been identified. Look up 'Ondrej Rysavy' in GoogleThis author has not been identified. Look up 'Frantisek Scuglik' in GoogleThis author has not been identified. Look up 'Miroslav Svéda' in Google

runs on WebDSL