Some institutional requirements for temporal reasoning on dynamic reconfiguration of component based systems
From MaRDI portal
Publication:5305652
DOI10.1007/B12001zbMATH Open1274.03031OpenAlexW2483649756MaRDI QIDQ5305652FDOQ5305652
Authors: Nazareno Aguirre, Tim Maibaum 
Publication date: 23 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b12001
Recommendations
- scientific article; zbMATH DE number 1956478
- scientific article; zbMATH DE number 860045
- When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations
- A basic logic for reasoning about connector reconfiguration
- Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cited In (5)
- When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations
- A basic logic for reasoning about connector reconfiguration
- Title not available (Why is that?)
- Dynamic Reconfiguration via Typed Modalities
- Default \(\alpha \)-logic for modeling customizable failure semantics in workflow systems using dynamic reconfiguration constraints
This page was built for publication: Some institutional requirements for temporal reasoning on dynamic reconfiguration of component based systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5305652)
