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

Formal methods for smart cards: an experience report

Acceso Abierto

Idioma: Inglés

Publicado: 12/11/2004

APC (est): No disponible

Abstract no disponible

Model-Driven Software Engineering Techniques

FuenteScience of Computer Programming	Cuartil año de publicaciónNo disponible	Volumen55
Issue1-3	Páginas53 - 80	pISSNNo disponible
ISSN0167-6423	Perfil OpenAlexhttps://openalex.org/S21029587

Scienti ID	0000927694-5	Doi URL	https://doi.org/10.1016/j.scico.2004.05.011	Open_access URL	https://repository.ubn.ru.nl/bitstream/handle/2066/130374/1/130374.pdf
Scholar URL	https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=info%3AejuUsldsm5oJ%3Ascholar.google.com&btnG=	Scholar citations URL	https://scholar.google.com/scholar?cites=11140617227145067386&as_sdt=2005&sciodt=0,5&hl=en	Openalex URL	https://openalex.org/W2167849549
Pdf URL	https://www.sciencedirect.com/science/article/pii/S0167642304001467/pdf?md5=92456d1ee585a141427b75fc521482d3&pid=1-s2.0-S0167642304001467-main.pdf&_valck=1	Scienti URL	http://cic.puj.edu.co/~ncatano/publications/fm_smart.pdf

Artículo de revista