Lenguaje de máquina de estado abstracto (asml)
Definición: ¿Qué significa el lenguaje de máquina de estado abstracto (AsmL)? Abstract State Machine Language (AsmL) es un lenguaje de especificación ejecutable basado en la teoría de Abstract State Machine (ASM). AsmL se utiliza para el modelado, análisis, simulación y pruebas de conformidad de sistemas. AsmL es desarrollado por el equipo de investigación de Fundamentos … Leer más