On the Integrity of Lightweight Checkpoints
Paper in proceeding, 2008
checkpointing
embedded systems
model checking
fault tolerance
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 11th IEEE High Assurance Systems Engineering Symposium (HASE 2008)
1530-2059 (ISSN)
125-134978-0-7695-3482-4 (ISBN)
Subject Categories
Computer Engineering
DOI
10.1109/HASE.2008.25
ISBN
978-0-7695-3482-4