Pages that link to "Item:Q2895779"

The following pages link to A Modal Interface Theory for Component-based Design (Q2895779):

Displaying 23 items.

• An algebraic theory of interface automata (Q402131) (← links)
• Refinement modal logic (Q476194) (← links)
• Interface theories for concurrency and data (Q549177) (← links)
• Theory and methodology of assumption/commitment based system interface specification and architectural contracts (Q1654563) (← links)
• Event algebra for transition systems composition application to timed automata (Q1656550) (← links)
• Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
• Taming Dr. Frankenstein: contract-based design for cyber-physical systems (Q1937313) (← links)
• A linear-time branching-time perspective on interface automata (Q2182669) (← links)
• A linear-time-branching-time spectrum for behavioral specification theories (Q2291820) (← links)
• Logical vs. behavioural specifications (Q2304534) (← links)
• Moving from interface theories to assembly theories (Q2340257) (← links)
• Refinement checking on parametric modal transition systems (Q2340259) (← links)
• ACTL for modal interface automata (Q2404073) (← links)
• A generalised theory of interface automata, component compatibility and error (Q2415373) (← links)
• Nondeterministic modal interfaces (Q2629098) (← links)
• Interface automata for shared memory (Q2675806) (← links)
• A Generalised Theory of Interface Automata, Component Compatibility and Error (Q2814126) (← links)
• A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories (Q2971124) (← links)
• Mediator Synthesis in a Component Algebra with Data (Q3449636) (← links)
• (Q4600773) (← links)
• (Q5021015) (← links)
• Model-Based Testing (Q5175779) (← links)
• Information-flow interfaces (Q6535550) (← links)