Logotipo ImpactU
Autor

Compositional Model-Checking Verification of Critical Systems

Acceso Cerrado
Idioma: Inglés
Publicado: 01/01/2009
APC (est): No disponible

Abstract:

Abstract no disponible

Tópico:

Formal Methods in Verification

Citaciones:

Citations: 5
5

Citaciones por año:

Altmétricas:

Paperbuzz Score: 0
0

Información de la Fuente:

SCImago Journal & Country Rank
FuenteLecture notes in business information processing
Cuartil año de publicaciónNo disponible
VolumenNo disponible
IssueNo disponible
Páginas213 - 225
pISSNNo disponible
ISSN1865-1348
Perfil OpenAlexhttps://openalex.org/S4210177767

Enlaces e Identificadores:

Openalex URLhttps://openalex.org/W1479987225Doi URLhttps://doi.org/10.1007/978-3-642-00670-8_16
Capítulo de libro
Fundadores:
Logotipo Universidad de Antioquia
Logotipo Universidad Autónoma Latinoamericana
Logotipo Universidad Externado de Colombia
Logotipo Universidad Del Valle
Producto desarrollado por:
Logotipo Colav
@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