Repositório PUCRS
metadata only
Uma biblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens em sistema distribuídos
O desenvolvimento de sistemas distribuídos e protocolos de comunicação é uma tarefa complexa e o uso de técnicas de especificação e verificação formal torna-se necessário para garantir a corretude de tais sistemas. Enquanto técnicas de model-checking passam pelo problema da explosão do espaço de est
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Modelo para la integración de seguridad de la información en la gestión de proyectos de TI#271662
- Hardcoding de Diseños Topológicos del Todo o Nada para la Seguridad de la AGI#690662
- Uso de geogebra y probabilidades: herramientas de interfaz pedagógica en la enseñanza de la estadística#775687
- Técnica para obtenção de redes de autômatos estocásticos baseada em especificações de software em UML#946460
- Aprovechamiento del uso de servicios educativos en etapas tempranas al proyecto, como consecuencia de la identificación y ejecución obligatoria de secciones funcionales para proyectos de infraestructura educativa en la región de Tacna#1041044
Record · ID 946352
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive