Unity, as a Tool for Reactive Systems Specification and Derivation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mamoun Filali, Philippe Mauran, Gérard Padiou. Unity, as a Tool for Reactive Systems Specification and Derivation. In Fifth Euromicro Workshop on Real-Time Systems, RTS 1993, Oulu, Finland, June 22-24, 1993. Proceedings. pages 274-279, IEEE, 1993. [doi]

This author has not been identified. It may be one of the following persons:

Mamoun Filali

Look up 'Mamoun Filali' in GoogleThis author has not been identified. Look up 'Philippe Mauran' in GoogleThis author has not been identified. Look up 'Gérard Padiou' in Google

runs on WebDSL