Redes de petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos

Tesis doctoral de Fernando Rosa Velardo Las redes de petri son un formalismo presentado por primera vez en la tesis […]

, , , , ,