• Verificación y validación de sistemas modelados mediante redes de Petri 

    Montejo Pérez, Pedro Jesús (Universidad Central "Marta Abreu" de Las Villas. Facultad de Ingeniería Eléctrica. Departamento de Automática y Sistemas Computacionales, 2013-06-20)
    Las Redes de Petri constituyen en la actualidad una de las herramientas preferidas por los diseñadores para la confección de modelos y por ello es preciso extremar el rigor a la hora de verificar y validar los prototipos ...
  • Virtualización de la red UCLV 

    Arzola Rodríguez, Okier (Universidad Central "Marta Abreu" de Las Villas, 2011-06-21)
    Después de la remodelación del local del nodo central de la red de la Universidad Central “Marta Abreu” de Las Villas, se comenzó la creación del proyecto de virtualización. Para garantizar que los nuevos servidores ubicados ...

Theme by 
@mire NV