ImpactU - Detalle del Producto

Fundadores:

Producto desarrollado por:

@colav
Contacto

ImpactU:

Información:

ImpactU Versión 3.11.2
Última actualización:
Interfaz de Usuario: 16/10/2025
Base de Datos: 29/08/2025
Hecho en Colombia

Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving

Acceso Cerrado

Idioma: Inglés

Publicado: 14/12/2023

APC (est): No disponible

Abstract no disponible

Formal Methods in Verification

FuenteScience of Computer Programming	Cuartil año de publicaciónNo disponible	Volumen233
IssueNo disponible	Páginas103074 - 103074	pISSNNo disponible
ISSN0167-6423	Perfil OpenAlexhttps://openalex.org/S21029587

Scienti ID	0001475666-4	Scienti ID	0000150525-85	Doi URL	https://doi.org/10.1016/j.scico.2023.103074
Openalex URL	https://openalex.org/W4389720811	Scienti URL	https://doi.org/10.1016/j.scico.2023.103074}

Artículo de revista