An I/O automata-based approach to verify component compatibility: application to the CyCab car

Vous êtes ici :