Pages that link to "Item:Q1776582"

The following pages link to Composition for component-based modeling (Q1776582):

Displaying 21 items.

• Building distributed controllers for systems with priorities (Q541297) (← links)
• Synthesis from component libraries with costs (Q683714) (← links)
• A framework for automated distributed implementation of component-based models (Q1938379) (← links)
• Modal event-clock specifications for timed component-based design (Q1951603) (← links)
• Modeling for supervisor synthesis -- a lock-bridge combination case study (Q2197591) (← links)
• Expressiveness of component-based frameworks: a study of the expressiveness of BIP (Q2216474) (← links)
• Event-based functional decomposition (Q2304530) (← links)
• Moving from interface theories to assembly theories (Q2340257) (← links)
• Local and global deadlock-detection in component-based systems are NP-hard (Q2379953) (← links)
• Deadlock-freedom in component systems with architectural constraints (Q2441719) (← links)
• Probabilistic contracts for component-based design (Q2441722) (← links)
• Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System (Q3523098) (← links)
• Robustness in Interaction Systems (Q3612362) (← links)
• Contracts for BIP: Hierarchical Interaction Models for Compositional Verification (Q3614835) (← links)
• Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems (Q3646263) (← links)
• MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS (Q4902881) (← links)
• (Q5015356) (← links)
• Assembly Theories for Communication-Safe Component Systems (Q5170748) (← links)
• Feedback in Synchronous Relational Interfaces (Q5170752) (← links)
• Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets (Q5448661) (← links)
• Everything Is PSPACE-Complete in Interaction Systems (Q5505604) (← links)