The top documents tagged [basic property petrinet]

Formal verification of safety communication protocol for ETCS Chen Lijie 08.06.2011 Introduction Safety communication protocol in ETCS CPN model.

Formal verification of safety communication protocol for ETCS Chen Lijie 08.06.2011 Introduction Safety communication protocol in ETCS CPN model.

220 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS