IEEE - Institute of Electrical and Electronics Engineers, Inc. - Studying Formal Methods Applications in CBTC

2011 International Conference on Management and Service Science (MASS 2011)

Author(s): Fei Yan
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2011
Conference Location: Wuhan, China, China
Conference Date: 12 August 2011
Page(s): 1 - 3
ISBN (CD): 978-1-4244-6580-4
ISBN (Electronic): 978-1-4244-6581-1
ISBN (Paper): 978-1-4244-6579-8
DOI: 10.1109/ICMSS.2011.5999325
Regular:

Formal methods are mathematics-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyse computer systems. Up to now formal... View More

Advertisement