SHERA - NCSTT - Product

Period:

Y1Q4 Jul 18 - Sep 18

Type of Knowledge Product Created:

Proceeding

Title of Knowledge Product Created:

Model Checking-based Safety Verification of a Petri Net Representation of Train Interlocking Systems

Is Gender Sensitive?:

1

Evidence:

Secret 155

Name of Involved Institutions:

Institut Teknologi Bandung / ITB