Pages that link to "Item:Q2842622"
From MaRDI portal
The following pages link to Theories of Programming and Formal Methods (Q2842622):
Displaying 23 items.
- Set-Theoretic Models of Computations (Q2842623) (← links)
- Model-Based Mutation Testing of Reactive Systems (Q2842624) (← links)
- Pliant Modalities in Hybrid Event-B (Q2842625) (← links)
- A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng (Q2842626) (← links)
- Practical Theory Extension in Event-B (Q2842627) (← links)
- Simulink Timed Models for Program Verification (Q2842628) (← links)
- Concept Analysis Based Approach to Statistical Web Testing (Q2842629) (← links)
- Algebraic Program Semantics for Supercomputing (Q2842630) (← links)
- Modeling and Specification of Real-Time Interfaces with UTP (Q2842633) (← links)
- Some Fixed-Point Issues in PPTL (Q2842634) (← links)
- The Value-Passing Calculus (Q2842635) (← links)
- Proving Safety of Traffic Manoeuvres on Country Roads (Q2842637) (← links)
- Generic Models of the Laws of Programming (Q2842638) (← links)
- Ours Is to Reason Why (Q2842639) (← links)
- Optimal Bounds for Multiweighted and Parametrised Energy Games (Q2842640) (← links)
- On the Relationship between LTL Normal Forms and Büchi Automata (Q2842641) (← links)
- Safety versus Security in the Quality Calculus (Q2842642) (← links)
- Invariants Synthesis over a Combined Domain for Automated Program Verification (Q2842643) (← links)
- Slow Abstraction via Priority (Q2842644) (← links)
- Performance Estimation Using Symbolic Data (Q2842645) (← links)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- Graph-Based Object-Oriented Hoare Logic (Q2842647) (← links)
- Towards a Modeling Language for Cyber-Physical Systems (Q2842648) (← links)
