Pages that link to "Item:Q5756489"

The following pages link to Modal I/O Automata for Interface and Product Line Theories (Q5756489):

Displaying 46 items.

• Input-output conformance testing for software product lines (Q338614) (← links)
• Compatibility in a multi-component environment (Q383353) (← links)
• Abstract probabilistic automata (Q386011) (← links)
• An algebraic theory of interface automata (Q402131) (← links)
• Threaded behavior protocols (Q470016) (← links)
• Refinement modal logic (Q476194) (← links)
• Interface simulation distances (Q477211) (← links)
• Interface theories for concurrency and data (Q549177) (← links)
• Safe reasoning with logic LTS (Q549200) (← links)
• Constraint Markov chains (Q554215) (← links)
• Product line process theory (Q898612) (← links)
• Incremental model checking of delta-oriented software product lines (Q898621) (← links)
• Modal event-clock specifications for timed component-based design (Q1951603) (← links)
• Connecting open systems of communicating finite state machines (Q2011202) (← links)
• A linear-time branching-time perspective on interface automata (Q2182669) (← links)
• Generalized abstraction-refinement for game-based CTL lifted model checking (Q2193289) (← links)
• Moving from interface theories to assembly theories (Q2340257) (← links)
• Refinement checking on parametric modal transition systems (Q2340259) (← links)
• Richer interface automata with optimistic and pessimistic compatibility (Q2350491) (← links)
• ACTL for modal interface automata (Q2404073) (← links)
• Finding suitable variability abstractions for lifted analysis (Q2414252) (← links)
• A generalised theory of interface automata, component compatibility and error (Q2415373) (← links)
• Modal transition system encoding of featured transition systems (Q2423766) (← links)
• Error-pruning in interface automata (Q2517232) (← 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)
• Building a Modal Interface Theory for Concurrency and Data (Q2890318) (← links)
• Extending modal transition systems with structured labels (Q2909731) (← links)
• A Modal Interface Theory with Data Constraints (Q2999311) (← links)
• Methodologies for Specification of Real-Time Systems Using Timed I/O Automata (Q3066127) (← links)
• Abstract Probabilistic Automata (Q3075492) (← links)
• Modular Modelling of Software Product Lines with Feature Nets (Q3095246) (← links)
• Modal Interface Theories for Communication-Safe Component Assemblies (Q3105749) (← links)
• Mediator Synthesis in a Component Algebra with Data (Q3449636) (← links)
• Model Checking Value-Passing Modal Specifications (Q3455083) (← links)
• Refinement and Consistency of Timed Modal Specifications (Q3618577) (← links)
• (Q4600773) (← links)
• (Q5114827) (← links)
• EXPTIME-complete Decision Problems for Modal and Mixed Specifications (Q5170664) (← links)
• Assembly Theories for Communication-Safe Component Systems (Q5170748) (← links)
• Model-Based Testing (Q5175779) (← links)
• From EU Projects to a Family of Model Checkers (Q5256356) (← links)
• Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (Q5963087) (← links)
• Coherent modal transition systems refinement (Q6197588) (← links)
• Realisability of global models of interaction (Q6605359) (← links)