Similar Items: Specification and Verification of Timing Properties in Interoperable Medical Systems
- Compositional Verification for Timed Systems Based on Automatic Invariant Generation
- Graph Alignment Methods for the Development of Interoperable Gene Regulation Knowledge Graphs
- A Survey on Ontologies’ Adaptability and Interoperability
- Verification of Flat FIFO Systems
- Usability, Technicality, Interoperability (UTI), a Comprehensive Assessment Framework for Digital Platforms
- Modeling and Verification of Infinite Systems with Resources