The following pages link to (Q2754115):
Displaying 10 items.
- FoCs (Q14297) (← links)
- Foundations of Boolean stream runtime verification (Q278752) (← links)
- Runtime verification of embedded real-time systems (Q479806) (← links)
- Embedding finite automata within regular expressions (Q947783) (← links)
- Optimized temporal monitors for SystemcC (Q2441724) (← links)
- Verification approach of Metropolis design framework for embedded systems (Q2506294) (← links)
- A rewriting semantics for ABEL with applications to hardware/software co-design and analysis (Q2873774) (← links)
- Functional Specification of Hardware via Temporal Logic (Q3176382) (← links)
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors (Q5452193) (← links)
- Analog property checkers: a DDR2 case study (Q5962118) (← links)