Formal Specification and Verification of a Protocol for Consistent Diagnosis in Real-Time Embedded Systems
Paper in proceeding, 2008
Author
Raul Barbosa
Chalmers, Computer Science and Engineering (Chalmers), Networks and Systems (Chalmers)
Johan Karlsson
Chalmers, Computer Science and Engineering (Chalmers), Networks and Systems (Chalmers)
Proceedings of the 3rd IEEE International Symposium on Industrial Embedded Systems (SIES'2008)
216-223
978-1-4244-1995-1 (ISBN)
Subject Categories
Computer Engineering
DOI
10.1109/SIES.2008.4577699
ISBN
978-1-4244-1995-1