The following pages link to Jeremy Bryans (Q2096421):
Displaying 7 items.
- A formal framework for security testing of automotive over-the-air update systems (Q2096423) (← links)
- Analysis of a Multimedia Stream using Stochastic Process Algebra (Q2765225) (← links)
- (Q2849576) (← links)
- A Proof-Based Method for Modelling Timed Systems (Q3455067) (← links)
- (Q4471917) (← links)
- Model checking stochastic automata (Q5267439) (← links)
- Algebraic Methodology and Software Technology (Q5313000) (← links)
