Consultation par auteur - Symbolic analysis and Component-based design for Modular Real-Time Embedded Systems Accéder directement au contenu