المؤلفون: Waquim, Pedro Eduardo

المساهمون: D'Argenio, Pedro Ruben, Pelozo, Silvia

مصطلحات موضوعية: Redes de comunicación informática, Seguridad, Sistemas distribuidos, Ingeniería de software, Verificación de programas, Propiedades de alcanzabilidad, Modelos probabilistas, Modelos no deterministas, Computer communications networks, Distributed systems, Software engineering, Program verification, Security and protection

Relation: http://hdl.handle.net/11086/551674

الاتاحة: http://hdl.handle.net/11086/551674