IEEE - Institute of Electrical and Electronics Engineers, Inc. - Application of formal methods for validation and verification of embedded system communication protocol

2016 13th International Bhurban Conference on Applied Sciences and Technology (IBCAST)

Author(s): M. Asim Minhas Kashif Saghar ; Tariq Farooq
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2016
Conference Location: Islamabad, Pakistan
Conference Date: 12 January 2016
Page(s): 385 - 390
ISBN (CD): 978-1-4673-9125-2
ISBN (Electronic): 978-1-4673-9127-6
ISBN (Paper): 978-1-4673-9126-9
ISSN (Electronic): 2151-1411
DOI: 10.1109/IBCAST.2016.7429907
Regular:

There are plethora of control based embedded systems installed in domestic electronic systems. The correct working of these embedded systems is important for successful functionality of the... View More

Advertisement