Course Code σχε-πρω-επι ECTS Credits 5 Semester 8th Semester Course Category Specialization courses Specialization courses Specialization Specialization elective courses on Informatics and Telecommunications Course Description COURSE CONTENTS Course contents: Protocols Structure. Specification and modelling. Correctness requirements finite state machines. Validation of protocols. ASSESSMENT Assessment: Student project (100%).