Computational Methods for Dynamical Systems Titolo in italiano: Metodi computazionali per sistemi dinamici
Security Testing, Modeling, and Verification of Dedicated Security Devices Titolo in italiano: Testing, modellazione e verifica di proprietà di sicurezza di dispositivi dedicati alla sicurezza
