Using transition systems to formalize a pattern for time dependable applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Edward Hermann Haeusler, Marcus Felipe M. C. Da Fontoura. Using transition systems to formalize a pattern for time dependable applications. In Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, Santa Barbara, California, USA, January 27-29, 1999. Proceedings. pages 216-227, IEEE, 1999. [doi]

This author has not been identified. Look up 'Edward Hermann Haeusler' in GoogleThis author has not been identified. Look up 'Marcus Felipe M. C. Da Fontoura' in Google

runs on WebDSL