Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets.

Yanhua Du, Lifeng Ai, Chunhuang Liu

Browse the full GRC paper archive.