Gallego García, Claudia Liliana

Parámetros metodológicos para el desarrollo de sistemas distribuidos en tiempo real aplicando métodos formales / - 2004

Referencia

TI410/BT0271/2004