Author: "Hélène Waeselynck" / Journal: safecomp - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Hélène Waeselynck"' showing total 3 results

Start Over Author "Hélène Waeselynck" Journal safecomp

3 results on '"Hélène Waeselynck"'

1. Specifying Safety Monitors for Autonomous Systems Using Model-Checking.

Author: Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, and Hélène Waeselynck
Published: 2014
Full Text: View/download PDF

2. Fine-Grained Implementation of Fault Tolerance Mechanisms with AOP: To What Extent?

Author: Jimmy Lauret, Jean-Charles Fabre, and Hélène Waeselynck
Published: 2013
Full Text: View/download PDF

3. Safety Case: Structure and Role.

Author: M. El Koursi, B. Letrung, Hélène Waeselynck, and François Baranowski
Published: 1995
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results