ImpactU - Detalle del Producto

Fundadores:

Producto desarrollado por:

@colav
Contacto

ImpactU:

Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación

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

Tools and Algorithms for the Construction and Analysis of Systems

Acceso Abierto

Idioma: Inglés

Publicado: 01/01/2020

APC (est): $5,000 EUR

PDF

JSON

HTML

Abstract:

This open access book contains the papers of the TACAS 2020 conference proceedings. They deal with specification and verification techniques; software and hardware verification; analytical techniques for real-time, hybrid, or stochastic systems; and others.

Tópico:

Software Reliability and Analysis Research

Citaciones:

Citaciones por año:

Altmétricas:

Información de la Fuente:

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

Enlaces e Identificadores:

Openalex URL	https://openalex.org/W3034579354	Doi URL	https://doi.org/10.1007/978-3-030-45237-7	Open_access URL	https://doi.org/10.1007/978-3-030-45237-7

Libro