Sûreté des systèmes matériels: Vérification formelle, compositionnelle et automatique de systèmes de composants
Ein praxisnahes Buch über formale Sicherheitstechnik in Hardware, das kompakte Prüfverfahren, Kompositionsmethoden und konkrete Fallstudien zur auto ...