SHERA - NCSTT - Publication

Title of Publication:

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

Period:

Y1Q4 Jul 18 - Sep 18

Journal/ Conference:

57th Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE)

Document Status:

Published

How many times cited?:

Publication Type:

Proceeding

Scopus Evidence:

Secret 100

Full Article:

Secret 100

Acceptance Letter:

Authors:

Aldi Reza, Karim Dharma