Event Archive – Railway Verification

Feb
05

Ladder Logic Verification Module

On 5th February 2025 at 10:00 am

014, Computational Foundry

[Open to all interested postgraduates]

Part 2: Propositional Logic Algorithms; Ladder Logic

Jan
27

Ladder Logic Verification Module

On 27th January 2025 at 4:30 pm

417, Computational Foundry

[Open to all interested postgraduates]

Exercises 1

Jan
23

Railway Afternoon

On 23rd January 2025 at 2:00 pm

TechnoCamps, Margham Building, Singleton Campus

Jan
21

Ladder Logic Verification Module

On 21st January 2025 at 10:00 am

104, Computational Foundry

[Open to all interested postgraduates]

Part 1: Propositional Logic