Object-oriented real time systems modeling and verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David Chenho Kung, John Lin, Pei Hsia, Bill Carroll. Object-oriented real time systems modeling and verification. In 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 5-7 February 1997, Newport Beach, CA, USA. pages 224-231, IEEE Computer Society, 1997. [doi]

This author has not been identified. Look up 'David Chenho Kung' in GoogleThis author has not been identified. Look up 'John Lin' in GoogleThis author has not been identified. Look up 'Pei Hsia' in GoogleThis author has not been identified. Look up 'Bill Carroll' in Google

runs on WebDSL