Candida Attanasio

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

3 Candida Attanasio, Flavio Corradini, Paola Inverardi: Static analysis of real-time component-based systems configurations. Sci. Comput. Program. 46(1-2): 5-30 (2003)

1999

2 Candida Attanasio, Flavio Corradini, Paola Inverardi: Static Analysis of Real-Time Component-Based Systems Configurations. COORDINATION 1999: 323-339

1 Candida Attanasio, Flavio Corradini, Paola Inverardi: Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. FASE 1999: 45-59

	2003
3		Candida Attanasio, Flavio Corradini, Paola Inverardi: Static analysis of real-time component-based systems configurations. Sci. Comput. Program. 46(1-2): 5-30 (2003)
	1999
2		Candida Attanasio, Flavio Corradini, Paola Inverardi: Static Analysis of Real-Time Component-Based Systems Configurations. COORDINATION 1999: 323-339
1		Candida Attanasio, Flavio Corradini, Paola Inverardi: Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. FASE 1999: 45-59

Coauthor Index