Symbolic methods applied to formal verification and synthesis in embedded systems design158pages6 heures de lecturePrévenez-moi
