UPPAAL-based modeling and verification of level transition process of high-speed railway train control system

doi:10.11860/j.issn.1673-0291.2012.06.012

PDF(874 KB)

Journal of Beijing Jiaotong University ›› 2012, Vol. 36 ›› Issue (6) : 63-67. DOI: 10.11860/j.issn.1673-0291.2012.06.012

{{article.zuoZhe_EN}}

Author information +

History +

HeighLight

Abstract

Key words

QR code of this article

Cite this article

EndNote

Ris (Procite)

Bibtex

Download Citations

{{article.zuoZheEn_L}}. {{article.title_en}}. {{journal.qiKanMingCheng_EN}}. 2012, 36(6): 63-67 https://doi.org/10.11860/j.issn.1673-0291.2012.06.012

References

Publishing order | Descend order by publishing year | Descend order by cited within

References

Funding

RIGHTS & PERMISSIONS

PDF(874 KB)

Accesses

Citation

Detail

Sections

Recommended

Please choose a citation manager

Content to export

HeighLight

Abstract

Key words

QR code of this article

Cite this article

{{custom_sec.title}}

{{custom_sec.title}}

References

References

{{custom_fnGroup.title_en}}

Footnotes

{{custom_ack.title_en}}

Funding

RIGHTS & PERMISSIONS

Published
2012-06-25
Issue Date
2012-12-15

模态框（Modal）标题

Please choose a citation manager

Content to export

HeighLight

Abstract

Key words

QR code of this article

Cite this article

{{custom_sec.title}}

{{custom_sec.title}}

References

References

{{custom_fnGroup.title_en}}

Footnotes

{{custom_ack.title_en}}

Funding

RIGHTS & PERMISSIONS