Synthesis of verifiable concurrent Java components from formal models

Detalles Bibliográficos
Autores:	Mariño Carballo, Julio\|\|\|0000-0002-2665-7612, Alborodo, Raúl Nestor Neri\|\|\|0000-0001-7688-1447, Fredlund, Lars-Áke\|\|\|0000-0002-8296-4609, Herranz Nieva, Ángel\|\|\|0000-0002-6433-5681
Tipo de recurso:	artículo
Fecha de publicación:	2019
País:	España
Institución:	Universidad Politécnica de Madrid
Repositorio:	Archivo Digital UPM
OAI Identifier:	oai:oa.upm.es:94514
Acceso en línea:	https://oa.upm.es/94514/
Access Level:	acceso abierto
Palabra clave:	Concurrency CSP Java JCSP JML Key Message passing Model-driven shared resources Verification

Descripción
Descripción no disponible.