The following pages link to GEZEL (Q16335):
Displaying 5 items.
- HW/SW co-design for public-key cryptosystems on the 8051 micro-controller (Q2384544) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Verification, Performance Analysis and Controller Synthesis for Real-Time Systems (Q3400913) (← links)
- Semantics and Verification of a Language for Modelling Hardware Architectures (Q3526936) (← links)