A. Girault, E. Rutten. Automating the Addition of Fault Tolerance with Discrete Controller Synthesis. Formal Methods in System Design, 2010.
Alain Girault http://pop-art.inrialpes.fr/people/girault/
Eric Rutten http://pop-art.inrialpes.fr/people/rutten/
@article{girault09c,
Author = {Girault, A. and Rutten, E.},
Title = {Automating the Addition of Fault Tolerance with Discrete Controller Synthesis},
Journal = {Formal Methods in System Design},
Month = {},
Year = {2010}
}
Get EndNote Reference (.ref)