Digital Education : Out to the World and Back to the Campus

Practical Formal Methods for Hardware Design

Formal Semantics for VHDL

Hardware Description Languages and their Applications

Semantics of digital circuits

EUNICE 2005 : Networks and Applications Towards a Ubiquitously Connected World

EduTech : Computer-Aided Design Meets Computer-Aided Learning

Towards Ubiquitous Learning

Semantics of Digital Circuits Lecture Notes in Computer Science