Listar 2. Publicacións UDC por autor "Toscano Moreno, Manuel"
Mostrando ítems 1-1 de 1
-
Modelado y verificación mediante lógica lineal temporal de un grupo de dos ascensores con sistema de control de destino
Toscano Moreno, Manuel; Arregui, Alberto; Mandow, Anthony; García-Cerezo, Alfonso (Universidade da Coruña, Servizo de Publicacións, 2019)[Resumen] Los grupos de ascensores con sistema de preselección de destino persiguen la reducción del tiempo de espera en edificios de mediana y gran altura como hoteles o bloques de oficinas. En este tipo de sistemas, ...