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

Compositional Model-Checking Verification of Critical Systems

Acceso Cerrado

Idioma: Inglés

Publicado: 01/01/2009

APC (est): No disponible

Abstract no disponible

Formal Methods in Verification

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

Openalex URL	https://openalex.org/W1479987225	Doi URL	https://doi.org/10.1007/978-3-642-00670-8_16

Capítulo de libro