Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, A.-C. Glory. Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language. In Joseph Sifakis, editor, Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings. Volume 407 of Lecture Notes in Computer Science, pages 213-231, Springer, 1989.

This author has not been identified. Look up 'Nicolas Halbwachs' in GoogleThis author has not been identified. Look up 'Daniel Pilaud' in GoogleThis author has not been identified. Look up 'Farid Ouabdesselam' in GoogleThis author has not been identified. Look up 'A.-C. Glory' in Google

runs on WebDSL