Pages that link to "Item:Q1330423"
From MaRDI portal
The following pages link to A compositional framework for fault tolerance by specification transformation (Q1330423):
Displaying 7 items.
- Using program transformations to provide safety properties for real-time systems (Q704786) (← links)
- Encapsulating deontic and branching time specifications (Q714879) (← links)
- Transformation of programs for fault-tolerance (Q1201297) (← links)
- Automation of fault-tolerant graceful degradation (Q1733388) (← links)
- A case study in the mechanical verification of fault tolerance (Q4783363) (← links)
- (Q5015358) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464746) (← links)