The following pages link to D-Finder (Q12966):
Displayed 17 items.
- Rigorous development of component-based systems using component metadata and patterns (Q333322) (← links)
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
- Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework (Q1648653) (← links)
- Checking deadlock-freedom of parametric component-based systems (Q1996857) (← links)
- Computing parameterized invariants of parameterized Petri nets (Q2117165) (← links)
- Component-based formal modeling of PLC systems (Q2375648) (← links)
- Behavioural semantics for asynchronous components (Q2397038) (← links)
- Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving (Q2418047) (← links)
- Model Construction and Priority Synthesis for Simple Interaction Systems (Q3021171) (← links)
- Algorithms for Synthesizing Priorities in Component-Based Systems (Q3172911) (← links)
- Compositional Verification for Component-Based Systems and Application (Q3540064) (← links)
- Structural Invariants for the Verification of Systems with Parameterized Architectures (Q5039511) (← links)
- Computing Parameterized Invariants of Parameterized Petri Nets (Q5044400) (← links)
- Assembly Theories for Communication-Safe Component Systems (Q5170748) (← links)
- Feedback in Synchronous Relational Interfaces (Q5170752) (← links)
- A Theory Agenda for Component-Based Design (Q5256362) (← links)