Title:Proyecto Lambda - hacia un framework de implementación y ejecución de máquinas abstractas generadas a partir de un lenguaje de propósito específico
Title:Verification of a remote supervisory control applied to distributed power systems based on DC-DC converters through a virtual prototype using HiLeS and VHDL-AMS