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

A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence

Acceso Cerrado

ID Minciencias: ART-0000527912-146

Ranking: ART-GC_ART

Idioma: Inglés

Publicado: 01/01/2019

APC (est): No disponible

Abstract no disponible

Formal Methods in Verification

FuenteLecture notes in computer science	Cuartil año de publicaciónNo disponible	VolumenNo disponible
IssueNo disponible	Páginas391 - 397	pISSNNo disponible
ISSN1611-3349	Perfil OpenAlexhttps://openalex.org/S106296714

Minciencias ID	ART-0000527912-146	Scienti ID	0000527912-146	Openalex URL	https://openalex.org/W2970311317
Doi URL	https://doi.org/10.1007/978-3-030-26250-1_32	Open_access URL	http://repository.eafit.edu.co/bitstream/10784/28629/1/2019_SelfCertifiableArchitecture4CriticalSystemsPoweredByProbabilisticLogicArtificialIntelligence_WAISE.pdf

Publicaciones editoriales no especializadas