IEEE - Institute of Electrical and Electronics Engineers, Inc. - The specification and verification of Real-Time system based on the temporal logic of action

2010 International Conference on Computer Application and System Modeling (ICCASM 2010)

Author(s): Tang Zheng-yi ; Peng Chang-gen ; Li Jun-tao ; Li Xiang
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2010
Conference Location: Taiyuan, China, China
Conference Date: 22 October 2010
Volume: 9
ISBN (Electronic): 978-1-4244-7237-6
ISBN (Paper): 978-1-4244-7235-2
DOI: 10.1109/ICCASM.2010.5622979
Regular:

Real-Time system is the safety-critical system. Its safety should be ensured by the formal method. The different formal method has different advantages and deficiencies, the suitable combination... View More

Advertisement