Static analysis of real-time component-based systems configurations

Candida Attanasio, Flavio Corradini, Paola Inverardi. Static analysis of real-time component-based systems configurations. Science of Computer Programming, 46(1-2):5-30, 2003. [doi]

Authors

Candida Attanasio

This author has not been identified. Look up 'Candida Attanasio' in Google

Flavio Corradini

This author has not been identified. Look up 'Flavio Corradini' in Google

Paola Inverardi

This author has not been identified. Look up 'Paola Inverardi' in Google