10. ACSD 2010: Braga, Portugal

Circuits

Performance, Security, and Reliability

Model Checking 1

Synchronous Systems

Model Checking 2

Probabilistic and Stochastic Systems