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)

• Model-based verification, optimization, synthesis and performance evaluation of real-time systems
• HW/SW co-design for public-key cryptosystems on the 8051 micro-controller
• Model Checking Real-Time Systems
• Verification, performance analysis and controller synthesis for real-time systems
• Semantics and Verification of a Language for Modelling Hardware Architectures

This page was built for software: GEZEL