Librería Samer Atenea
Kálamo Books
Librería Elías (Asturias)
Librería Kolima (Madrid)
Librería Proteo (Málaga)
The text covers both basic and advanced techniques based on state performance systems and binary systems. It presents a dynamic reliability analysis of safety-critical systems using Petri Nets and dynamic resource allocation modeling of software with patching.