8251 modules
Page 98
-
COMP6210 2025-26
Automated Software Verification
This module aims to train students in both the principles and the practice of software verification. A range of verification approaches, including both testing and formal verification, will be covered. The use of logic as a specification language for programs will be explored. In addition to covering the key techniques for software verification, the module will provide practical experience in using state of the art verification tools. -
COMP6210 2028-29
Automated Software Verification
This module aims to train students in both the principles and the practice of software verification. A range of verification approaches, including both testing and formal verification, will be covered. The use of logic as a specification language for programs will be explored. In addition to covering the key techniques for software verification, the module will provide practical experience in using state of the art verification tools. -
COMP6210 2029-30
Automated Software Verification
This module aims to train students in both the principles and the practice of software verification. A range of verification approaches, including both testing and formal verification, will be covered. The use of logic as a specification language for programs will be explored. In addition to covering the key techniques for software verification, the module will provide practical experience in using state of the art verification tools. -
SESM3035 2025-26
Automotive Chassis and Powertrain
This module will first be offered in 2021/22.
This module introduces students to the design of safe and eco-friendly vehicles for road transportation in the twenty-first century. Different aspects of design and operation of modern automobile systems will be discussed, including vehicle performance, handling, and ride. -
SESM3035 2026-27
Automotive Chassis and Powertrain
This module will first be offered in 2021/22.
This module introduces students to the design of safe and eco-friendly vehicles for road transportation in the twenty-first century. Different aspects of design and operation of modern automobile systems will be discussed, including vehicle performance, handling, and ride. -
SESM3035 2027-28
Automotive Chassis and Powertrain
This module will first be offered in 2021/22.
This module introduces students to the design of safe and eco-friendly vehicles for road transportation in the twenty-first century. Different aspects of design and operation of modern automobile systems will be discussed, including vehicle performance, handling, and ride. -
SESM3035 2029-30
Automotive Chassis and Powertrain
This module will first be offered in 2021/22.
This module introduces students to the design of safe and eco-friendly vehicles for road transportation in the twenty-first century. Different aspects of design and operation of modern automobile systems will be discussed, including vehicle performance, handling, and ride. -
SESM3035 2028-29
Automotive Chassis and Powertrain
This module will first be offered in 2021/22.
This module introduces students to the design of safe and eco-friendly vehicles for road transportation in the twenty-first century. Different aspects of design and operation of modern automobile systems will be discussed, including vehicle performance, handling, and ride. -
SESM3035 2030-31
Automotive Chassis and Powertrain
This module will first be offered in 2021/22.
This module introduces students to the design of safe and eco-friendly vehicles for road transportation in the twenty-first century. Different aspects of design and operation of modern automobile systems will be discussed, including vehicle performance, handling, and ride. -
SESM3036 2026-27
Automotive Mechatronics
This module will first be offered in the 2021/22 academic year.
This module provides knowledge and understanding of electronics systems of modern road vehicles. Students will become familiar with electro-mechanical and electronic components and systems and will be able to design and improve systems aiming to enhance driving safety, performance, and ecology.