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

Automated Certification of Non-Interference in Rewriting Logic

Acceso Cerrado

ID Minciencias: ART-0000183083-135

Ranking: ART-ART_A2

Idioma: Inglés

Publicado: 01/01/2009

APC (est): No disponible

Abstract no disponible

Security and Verification in Computing

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

Minciencias ID	ART-0000183083-135	Scienti ID	0000183083-135	Scholar URL	https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=info%3AJma0KGSBiOAJ%3Ascholar.google.com&btnG=
Pdf URL	ftp://nozdr.ru/biblio/kolxoz/Cs/CsLn/Formal%20Methods%20for%20Industrial%20Critical%20Systems,%2013%20conf.,%20FMICS%202008%20(LNCS5596,%20Springer,%202009)(ISBN%209783642032394)(O)(242s)_CsLn_.pdf#page=192	Doi URL	https://doi.org/10.1007/978-3-642-03240-0_16	Openalex URL	https://openalex.org/W2158527854
Scholar citations URL	https://scholar.google.com/scholar?cites=16179323928508130854&as_sdt=2005&sciodt=0,5&hl=en	Open_access URL	http://users.dsic.upv.es/%7Esescobar/papers/fmics08.pdf

Artículo de revista