TY - JOUR A1 - Burrull I Mestres, Francesco T1 - Validación del Aloha ranurado mediante la herramienta Telelogic TAU SDL Y1 - 2012 UR - http://hdl.handle.net/10317/2021 AB - En este vídeo se pretende ilustrar el uso del validador incluido en la herramienta Telelogic TAU SDL . Aplicado a un ejemplo concreto, en este caso el protocolo de comunicaciones Aloha ranurado, el video ilustra la validación de dicho protocolo. La validación es una parte del trabajo a realizar por el alumno, a la que a veces no se le presta la suficiente atención KW - Ingeniería Telemática KW - Aloha validación Telelogic TAU SDL LA - spa ER -