Synchronous and Bidirectional Component Interfaces
From MaRDI portal
Recommendations
Cited in
(26)- Formal verification of safety protocol in train control system
- Bounded analysis and decomposition for behavioural descriptions of components
- Feedback in synchronous relational interfaces
- Compositional Control Synthesis for Partially Observable Systems
- scientific article; zbMATH DE number 2080757 (Why is no real title available?)
- An interface model of software components
- The refinement calculus of reactive systems
- Constraint Markov chains
- scientific article; zbMATH DE number 4045100 (Why is no real title available?)
- Synthesizing structural and behavioral control for reconfigurations in component-based systems
- Integrating discrete controller synthesis into a reactive programming language compiler
- Validating behavioral component interfaces in rewriting logic
- Behavioural contracts for a sound assembly of components
- Synchronous interfaces and assume/guarantee contracts
- Generalized interface automata with multicast synchronization
- Synthesis of interface specifications for Java classes
- Modal event-clock specifications for timed component-based design
- Compatibility properties of synchronously and asynchronously communicating components
- Weighted modal transition systems
- Interface synthesis and protocol conversion
- Documenting and verifying systems assembled from components
- scientific article; zbMATH DE number 1706357 (Why is no real title available?)
- scientific article; zbMATH DE number 1903369 (Why is no real title available?)
- Frontiers of Combining Systems
- scientific article; zbMATH DE number 2017345 (Why is no real title available?)
- Associative composition of components with double-sided interfaces
This page was built for publication: Synchronous and Bidirectional Component Interfaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4804913)
