En esta tesis investigamos operadores modales dinámicos que pueden cambiar el modelo durante la evaluación de una fórmula. En particular, extendemos el lenguaje modal básico con modalidades que son capaces de invertir, ...

En esta tesis investigamos operadores modales dinámicos que pueden cambiar el modelo durante la evaluación de una fórmula. En particular, extendemos el lenguaje modal básico con modalidades que son capaces de invertir, ...

Se analiza cuán importante es la sistematización que se aplica en los procesos aduaneros del Ecuador, donde se busca alcanzar trámites con menos papeles, en un menor tiempo, y con mayor accesibilidad para los operadores ...

Tras la nueva crisis sanitaria global causada por el coronavirus, desnudó serios problemas estructurales en infraestructura y equipamiento médico en el sector Salud. La COVID-19 mostró la difícil situación del sector en ...