GEZEL

swMATH4151MaRDI QIDQ16335

No author found.

Described by source

• Domain specific tools and methods for application in Security processor design

Related Items (5)

Model Checking Real-Time Systems ⋮ HW/SW co-design for public-key cryptosystems on the 8051 micro-controller ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ Semantics and Verification of a Language for Modelling Hardware Architectures ⋮ Verification, Performance Analysis and Controller Synthesis for Real-Time Systems

This page was built for software: GEZEL