Formal Verification of Fault Tolerance Aspects
Conference poster, 2005
Author
Ruben Alexandersson
Chalmers, Computer Science and Engineering (Chalmers), Computer Engineering (Chalmers)
Daniel Larsson
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Published in
International Symposium on Software Reliability Engineering (ISSRE)
Categorizing
Subject Categories
Software Engineering