Pages that link to "Item:Q2894546"
From MaRDI portal
The following pages link to Fundamentals of Software Engineering (Q2894546):
Displayed 50 items.
- Proposition Algebra and Short-Circuit Logic (Q2894547) (← links)
- Decompositional Reasoning about the History of Parallel Processes (Q2894548) (← links)
- A Model-Based Development Approach for Model Transformations (Q2894550) (← links)
- Analyzing Component-Based Systems on the Basis of Architectural Constraints (Q2894552) (← links)
- Constructive Development of Probabilistic Programs (Q2894554) (← links)
- Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability (Q2894555) (← links)
- Specification Guidelines to Avoid the State Space Explosion Problem (Q2894558) (← links)
- Strong Normalisation in λ-Calculi with References (Q2894559) (← links)
- Compositional Reasoning for Markov Decision Processes (Q2894560) (← links)
- Safe Locking for Multi-threaded Java (Q2894561) (← links)
- A Distributed Logic for Networked Cyber-Physical Systems (Q2894562) (← links)
- Reachability Analysis of Non-linear Planar Autonomous Systems (Q2894564) (← links)
- Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs (Q2894567) (← links)
- Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations (Q2894568) (← links)
- Decidability of Behavioral Equivalences in Process Calculi with Name Scoping (Q2894570) (← links)
- Rewriting Approximations for Properties Verification over CCS Specifications (Q2894572) (← links)
- Intentional Automata: A Context-Dependent Model for Component Connectors (Q2894573) (← links)
- Nested Dynamic Condition Response Graphs (Q2894574) (← links)
- Extending Interface Automata with Z Notation (Q2894575) (← links)
- A Specification Language for Reo Connectors (Q2894576) (← links)
- Unbounded Allocation in Bounded Heaps (Q2948233) (← links)
- On the Complexity of Adding Convergence (Q2948235) (← links)
- Deadlock Checking by Data Race Detection (Q2948236) (← links)
- Delta Modeling and Model Checking of Product Families (Q2948237) (← links)
- Lending Petri Nets and Contracts (Q2948238) (← links)
- On Efficiency Preorders (Q2948239) (← links)
- Compiling Cooperative Task Management to Continuations (Q2948241) (← links)
- A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming (Q2948244) (← links)
- Push-Down Automata with Gap-Order Constraints (Q2948245) (← links)
- Model Checking MANETs with Arbitrary Mobility (Q2948247) (← links)
- Improving Time Bounded Reachability Computations in Interactive Markov Chains (Q2948248) (← links)
- A Process-Theoretic Look at Automata (Q3400912) (← links)
- Verification, Performance Analysis and Controller Synthesis for Real-Time Systems (Q3400913) (← links)
- Termination in Higher-Order Concurrent Calculi (Q3400914) (← links)
- Typing Asymmetric Client-Server Interaction (Q3400915) (← links)
- Equational Reasoning on Ad Hoc Networks (Q3400916) (← links)
- Towards a Notion of Unsatisfiable Cores for LTL (Q3400917) (← links)
- Rule Formats for Determinism and Idempotence (Q3400918) (← links)
- The Complexity of Reachability in Randomized Sabotage Games (Q3400919) (← links)
- Applying Step Coverability Trees to Communicating Component-Based Systems (Q3400920) (← links)
- Program Logics for Sequential Higher-Order Control (Q3400921) (← links)
- Modular Schedulability Analysis of Concurrent Objects in Creol (Q3400922) (← links)
- A Timed Calculus for Wireless Systems (Q3400923) (← links)
- Model Checking Linear Duration Invariants of Networks of Automata (Q3400924) (← links)
- Automata Based Model Checking for Reo Connectors (Q3400925) (← links)
- On the Expressiveness of Refinement Settings (Q3400926) (← links)
- Bounded Rational Search for On-the-Fly Model Checking of LTL Properties (Q3400928) (← links)
- Executable Interface Specifications for Testing Asynchronous Creol Components (Q3400930) (← links)
- Compositional Strategy Mapping (Q3400931) (← links)
- A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs (Q3400933) (← links)