GEZEL

swMATH4151MaRDI QIDQ16335FDOQ16335

Author name not available (Why is that?)

Described by source

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

Cited In (5)

• Verification, Performance Analysis and Controller Synthesis for 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
• Model Checking Real-Time Systems
• Semantics and Verification of a Language for Modelling Hardware Architectures

This page was built for software: GEZEL